search

trealla-prolog / trealla

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

Improper op list #594

Closed flexoron closed 2 weeks ago

flexoron commented 2 weeks ago 
$ tpl
?- L = ['.','.'('.')].
   L = ['.','.'('.')].
?- op(1,fy,'.').
   true.
?- L = ['.','.'('.')].
   L = ['.','.'  '.']. % unexpected, maybe L = ['.','.'  ('.')]?
?-