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).