Repositorios git - scryer-prolog.git/commit

]> Repositorios git - scryer-prolog.git/commit

author	Markus Triska <[email protected]>
	Tue, 10 Jan 2023 21:06:16 +0000 (22:06 +0100)
committer	Markus Triska <[email protected]>
	Tue, 10 Jan 2023 21:09:41 +0000 (22:09 +0100)
commit	cc420bd31a397c38b7c51dd36da6f50fcf995600
tree	3d4be193f59de6f28fdfe292af8ce5de00192a36	tree \| snapshot
parent	2fe1d2ef533322531bd12f00cbcb59a688781caf	commit \| diff

FIXED: reification of (xor)/2.

Example:

?- A #= 1 xor 0 #<==> R.
%@ clpz:(A#=1#<==>R), clpz:(R in 0..1).

FORK: A modern Prolog implementation written mostly in Rust