Описание тега prolog-dif
NoneDif/2 - это встроенный в Пролог предикат, который выражает синтаксическое неравенство в звуковой форме.
dif/2- это встроенный в Пролог предикат для звукового выражения синтаксического неравенства, также называемого неравенством терминов.dif/2истинно тогда и только тогда, когда его аргументы являются разными терминами. Отсюда и название, которое является сокращением от "другой".
dif/2доступен непосредственно в B, Prolog IV, SICStus, SWI, YAP и в виде библиотеки в Ciao, IF, XSB. Он был доступен уже в самой первой системе Prolog, Prolog 0.
dif/2не могут быть напрямую выражены в ISO Prolog, но безопасное приближение все же возможно.
Дальнейшее чтение: