search

mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.
BSD 3-Clause "New" or "Revised" License
2.06k stars 123 forks source link

Variable as directive loops unexpectedly #2467

Closed triska closed 3 months ago

triska commented 3 months ago

As noted in https://github.com/mthom/scryer-prolog/pull/2463#issuecomment-2267532710, we currently have:

$ scryer-prolog
?- [user].
:- D.
% Warning: singleton variables D at line 1 of user
loops, unexpected.
instantiation_error. % expected