search

ichiban / prolog

The only reasonable scripting engine for Go.
MIT License
620 stars 31 forks source link

Unexpected instantiation error in (=..)/2 #244

Closed UWN closed 2 years ago

UWN commented 2 years ago 
ulrich@p0:/opt/gupu/ichiban-prolog$ $(go env GOPATH)/bin/1pl
Top level for ichiban/prolog v0.10.4
This is for testing purposes only!
See https://github.com/ichiban/prolog for more details.
Type Ctrl-C or 'halt.' to exit.
?- c =.. [A|As].
2022/08/08 17:01:12 error(instantiation_error,=.. /2), unexpected.
   instantiation_error, unexpected.
   A = c, As = []. % expected
ichiban commented 2 years ago

Fixed in v0.10.5:

$ $(go env GOPATH)/bin/1pl
Top level for ichiban/prolog v0.10.5
This is for testing purposes only!
See https://github.com/ichiban/prolog for more details.
Type Ctrl-C or 'halt.' to exit.
?- c =.. [A|As].
A = c,
As = [].
?-