All Manuals > KnowledgeWorks and Prolog User Guide > Appendix A: Common Prolog

A.14 Edinburgh Compatibility Predicates

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 (Macintosh version) - 01 Dec 2021 19:35:39