I cannot test Elxlog, since I don't have an Elixir environment. So
I am still testing against OPL, which comes as a handy .EXE.
It seems that {} is not correctly recognized as atom. This is
a small ISO Prolog requirement. I tried the following:
There are somehow two errors involved. The first error is
the display {_,true} which is not correct. And the second error
is that the second and third clause have disappeared.
Hi,
I cannot test Elxlog, since I don't have an Elixir environment. So I am still testing against OPL, which comes as a handy .EXE.
It seems that {} is not correctly recognized as atom. This is a small ISO Prolog requirement. I tried the following:
There are somehow two errors involved. The first error is the display {_,true} which is not correct. And the second error is that the second and third clause have disappeared.