Re: phrase doesn't fail

Paulo Moura <[email protected]> Tue, 31 Mar 2020 16:21:28 +0100
Newsgroups gmane.comp.gnu.prolog.bugs
Message-ID <[email protected]>
Hi,

> On 31 Mar 2020, at 08:43, Etienne Laurin <[email protected]> wrote:
>=20
> Using gprolog 1.4.5 on x64 Linux:
>=20
>    ?- phrase("a", "b")
>    yes

Confirmed. That's indeed a bug. Other than fixing it in the GNU Prolog =
sources, you can use as an alternative Logtalk's DCGs implementation, =
which is independent of GNU Prolog DCGs support.

Cheers,
Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer