Next:
Terms
Up:
manual
Previous:
Example:
Contents
Index
Programs
This chapter describes the syntax of Prolog. Both programs and data are composed from
terms
in Prolog.
Subsections
Terms
Atoms
Numbers
Examples:
Variables
Compound terms
Programs
Facts
Rules
Directives
Control constructs
Cut
Example:
Conjunction, disjunction, negation, and if-then-else
repeat/0
call/1 and once/1
call/2
n
(not in ISO)
forall/2
(not in ISO)
call_cleanup/2
(not in ISO)
time_out/3
(not in ISO)
All solutions
Aggregates
Neng-Fa Zhou 2012-01-03
