The following predicates all have their standard Edinburgh definitions (note that these are written as Lisp symbols, so \ is a Lisp escape character, meaning that \\+ is the Edinburgh definition named \+):
--> -> / // << = = =< >> ?- @< @> @>= \, \. \:- \:= \; \\ \\+ /\\ \\/ \\= \\== ^ current-op display get get0 is name nl put see seeing seen skip tell telling told ttynl ttyput write writeq |is|
KnowledgeWorks and Prolog User Guide (Unix version) - 18 Feb 2025 15:37:23