[Next]
[Up]
[Previous]
[Contents]
[Index]
Next: Rules
Up: Programs
Previous: Programs
Contents
Index
A fact is an atomic formula of the form
[IMAGE png]
where p is an n-ary predicate symbol and
[IMAGE png] are
terms which are called the arguments of the atomic formula.
Neng-Fa Zhou ()
2007-06-05