search

trealla-prolog / trealla

A compact, efficient Prolog interpreter written in plain-old C.
MIT License
268 stars 13 forks source link

Application-technical discrepancy #586

Closed flexoron closed 3 weeks ago

flexoron commented 3 weeks ago

v2.55.39

?- [user]. user:"U". end_of_file.
   true.
?- listing.
'U'.
   true.
?- 'U'.
   true.

?- [user]. "U". end_of_file.
Error: type error, not callable, user:1 % This keeps 'U'/0
   true.
?- listing.
'U'. 
   true.
?- 'U'.
   true.

?- [user].
"U".
Error: type error, not callable, user:1 % This does remove 'U'/0
   true.
?- listing.
   true.
?- 'U'.
   throw(error(existence_error(procedure,'U'/0),'U'/0)).
?- [user]. user:"U". end_of_file.
Warning: overwriting 'U'/0 % This overwrites a non-existent procedure.
   true.
?-