search

ichiban / prolog

The only reasonable scripting engine for Go.
MIT License
613 stars 29 forks source link

phrase/2 incorrect #308

Open UWN opened 10 months ago

UWN commented 10 months ago 
?- phrase(({!,fail};[wrong]),L). 
L = [wrong];

Expected false.

ichiban commented 9 months ago

Thank you for reporting this. I'll fix it later.

UWN commented 9 months ago

There is more, (also a bit in Scryer), will tell you when Scryer is ready.

UWN commented 4 months ago

Here are all tests. Consider to include phrase//2 and phrase//3 as higher-order extensions.