NextPrevUpTopContentsIndex

A.14 Edinburgh Compatibility Predicates

The following predicates all have their standard Edinburgh definitions:

-->
->
/
//
<<
=
=
=<
>>
?-
@<
@>
@>=
\, 
\. 
\:-
\:=
\; 
\\ 
\\ 
\\+
\\/
\\=
\\==
^
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) - 29 Feb 2008

NextPrevUpTopContentsIndex