Prolog Predicates

Wiki-Quelltext dieser Seite.

folgende Predicates werden vom Prolog Interpreter von Haus aus unterstützt:
<pre>
#/2
!/0
**/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
>>/2
abs/1
acos/1
arg/3
asin/1
assert/1
asserta/1
assertz/1
atan/1
atan/2
atom/1
atomic/1
call/-1
callable/1
ceiling/1
clause/2
compare/3
compound/1
copy_term/2
cos/1
dynamic/1
exp/1
fail/0
float/1
floor/1
functor/3
ground/1
integer/1
is/2
keysort/2
list/1
load_library/1
log/1
log/2
log10/1
log2/1
max/2
min/2
mod/2
name/2
nonvar/1
number/1
op/3
pow/2
random/1
read/1
repeat/0
retract/1
round/1
simple/1
sin/1
sort/2
sqrt/1
tan/1
time/1
true/0
truncate/1
var/1
write/1
</pre>