search

mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.
BSD 3-Clause "New" or "Revised" License
1.93k stars 116 forks source link

phrase/2 instantiation_error? #2396

Closed flexoron closed 2 months ago

flexoron commented 2 months ago 

$ scryer-prolog -f
?- use_module(library(dcgs)).
   true.

?- X="abc", phrase([X|"abc"],Y).
   X = "abc", Y = ["abc"|"abc"].

?- X="abc", phrase(["abc"|X],Y).
   error(instantiation_error,must_be/2). % unexpected
?-
flexoron commented 2 months ago

Closed because issue has been reported already previously. #1665