Include from stream?

I want to bring clauses in from the stream user_input. I’ve tried load_files/2 with a stream(user_input) option but it seems to be evaluating the clauses and returning false for each. This is not what I want. I have multifile directives in the calling file.

I don’t understand all of the options of load_files. Would one of those tell it to just load the clauses and not evaluate them? If not, is there a way to use include from the standard input (stream user_input).


My first reply would be ?- [user]. If this is not what you are looking for, please be more clear on what you want to achieve.

Turns out my program wasn’t even running. I forgot that one needs to put command line options before the program file name. So the top level grabbed my data file and tried to resolve the terms it found there.

1 Like