scryer-prolog
scryer-prolog copied to clipboard
error(syntax_error(inadmissible_query_term),load/1)
Currently, I get:
$ scryer-prolog ?- [user]. p :- "test". error(syntax_error(inadmissible_query_term),load/1).
Expected: Successful compilation, on the grounds that the program is syntactically correct.
on the grounds ...
... or that the following is possible:
?- [user].
p:-E=e,[t,E,s,t].
?- p.
error(existence_error(procedure,t/0),t/0), unexpected. % ..or, rather why?