, , :
| Domains | |
| Database | |
| Predicates | |
| Clauses | |
| Goal |
. Predicates Clauses.
; , . .
.
-:
/* ,
*/
:
%
Domains
domains :
1. :
name = t,
name , t . , , . ,
age, number = integer
domains .
2. :
mylist = elevent*,
mylist , element , Domains -, * . H,
namlist = integer*
.
3. , .
region = functor1(d1,d2,...); functor2(d3,d4,...);...
region , functor1, functor2 , d1,d1,...,d3,d4 , Domains ( ).
:
object = int(integer); str(string)
mesto = sprava; sleva.
Domains ().
Ppredicates
. . : , , ().
:
name(d1,d2,...),
name , d1, d2,... 1, 2 .. :
syn(string)
math(preson,person).
