Newbetuts
.
New posts in prolog-dif
Prolog: First duplicate value
list
prolog
prolog-dif
How to define (and name) the corresponding safe term comparison predicates in ISO Prolog?
sorting
prolog
iso-prolog
prolog-dif
Using \==/2 or dif/2
prolog
prolog-dif
logical-purity
What is the logical 'not' in Prolog?
prolog
prolog-dif
Reification of term equality/inequality
prolog
prolog-dif
Prev