N-Prolog version 1.8
N-Prolog ver1.8
The mechanism of proof for the builtin predicates has been simply rewritten.
Added bagof/3 setof/3 findall/3.
Fixed minor bugs.
N-Prolog ver1.8
The mechanism of proof for the builtin predicates has been simply rewritten.
Added bagof/3 setof/3 findall/3.
Fixed minor bugs.