phrase/2 too eager execution
Opened this issue · 1 comments
UWN commented
| ?- phrase(([a],{1}),[]).
no, unexpected.
type_error(callable,...). % expected, but not found
The idea is that the logical grammar rule expansion happens without any error conditions satisfied, and then the expanded term is called.