scryer-prolog icon indicating copy to clipboard operation
scryer-prolog copied to clipboard

error(syntax_error(inadmissible_query_term),load/1)

Open triska opened this issue 3 years ago • 1 comments

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.

triska avatar Jun 25 '22 11:06 triska

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?

UWN avatar Jun 28 '22 13:06 UWN