Prolog Predicates

Aus ProgrammingWiki

folgende Predicates werden vom Prolog Interpreter von Haus aus unterstützt:

#/2
!/0
**/2
*/2
,/2
///2
//2
/1
-/1
-/2
;/2
@</2
@=</2
@>/2
@>=/2
^/2
+/1
+/2
</2
<</2
=../2
=/2
=:=/2
=@=/2
=</2
==/2
>/2
->/2
-->/2
->/3
>=/2
>>/2
abolish/2
abs/1
acos/1
arg/3
asin/1
assert/1
asserta/1
assertz/1
atan/1
atan/2
atom/1
atom_chars/2
atomic/1
bagof/3
BAGOF/4
BAGOFENUMERATE/2
BAGOFPOSTSORT/3
BAGOFPOSTSORTHELPER/4
call/-1
callable/1
ceiling/1
clause/2
compare/3
compound/1
copy_term/2
cos/1
current_op/3
CURRENTOP/4
DCGTERMINAL/3
dynamic/1
exp/1
expand_term/2
fail/0
FINDALL/3
findall/4
float/1
floor/1
functor/3
ground/1
if/3
IF/4
ignore/1
integer/1
is/2
keysort/2
length/2
list/1
load_library/1
log/1
log/2
log10/1
log2/1
max/2
min/2
mod/2
name/2
nl/0
nonvar/1
not/1
number/1
number_chars/2
once/1
op/3
phrase/2
phrase/3
pow/2
random/1
read/1
repeat/0
retract/1
retractall/1
round/1
setof/3
simple/1
sin/1
sort/2
sqrt/1
tan/1
time/1
true/0
truncate/1
undo/1
var/1
write/1
writeln/1