The Prolog Tutorial

List of Built-in Predicates

 

Built-in predicates

mentioned in this tutorial

assert

atom

atomic

consult

get

get0

integer

is

nonvar

notrace

put

read

retract

see

seen

setof

told

trace

var

write

You can find information on these in the SICStus manual

See Resources

 

 

Author - Jer Hayes - 2000