Sunday, 18 January 2009

Facts with Arguments

A general fact model with arguments:
relation(,,...., ).
The arguments can be any legal Prolog term.
The basic Prolog terms are an integer, an atom, a variable or a structure. Various Prolog implementation enhance this basic list with other data types, such as floating point numbers, or strings.

No comments:

Post a Comment