prolog icon indicating copy to clipboard operation
prolog copied to clipboard

phrase/2 incorrect

Open UWN opened this issue 1 year ago • 3 comments

?- phrase(({!,fail};[wrong]),L). 
L = [wrong];

Expected false.

UWN avatar Dec 04 '23 10:12 UWN

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

ichiban avatar Jan 13 '24 11:01 ichiban

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

UWN avatar Jan 13 '24 19:01 UWN

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

UWN avatar Jun 14 '24 06:06 UWN