dif/2 is a Prolog built-in predicate to express in a sound manner syntactic inequality.
The problem that I face, is a bit trivial. I want to use logical not in Prolog, but it seems …
prolog prolog-difTrying to write a procedure that given a value and a list, it deletes all the occurence of that value …
prolog prolog-difI can't come up with a situation where I would need it.
prolog prolog-difI want to access list permutation and pass it as argument to other functions. This is the permutation code: takeout(…
list prolog permutation prolog-dif