Showing posts with label arguments. Show all posts
Showing posts with label arguments. Show all posts

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.