/ \
/ \
person date
/ \ /! \
''Joe'' ''Jones'' ''Aug''20 1918
birthday(person(''Joe'',''Jones''),date(''Aug'',20,1918))
5.2.1. `.
` , ,
data(''April'',2,1981) X ' X date(April,2,1981),
', :
data(''April'',2,1981) date(Mo,Da,Yr).
'.
. , , . - (=). ', . '. , 䳿. , .
Domains
person = person(name,address)
name = name(first,last)
address = addr(street,city,state)
street = street(number,street_name)
city,state,street_name = string
first,last = string
number = integer
Goal
P1 = person(name(jim,mos),
addr(street(5,"1stst"),igo,"CA")),
P1 = person(name(_,mos),Address),
P2 = person(name(jane,mos),Address), write(P2).
' ' , . , :
owns(john,book('From Here to Eternity','James Jones')),
, ' ', . :