book author.
author = symbol
', .
, author ', ' :
Author(first_name,last_name)
:
Domains
articles = book(title, author);
Horse(name);
Boat;
Bankbook(balance)
author = author(first_name,last_name)
title, author, name = symbol
balance = real
' , .
Book
/ \
Title author
/ \
/ \
Firstname lastname
, . , .
book=book(title,author(firstname,lastname))
5.6., .
, '. :
sentence = sentence(noun,verbphrase)
:
noun=noun(word),
䳺 , 䳺
verbphase=verbphrase(verb,noun);
Verb(word)
verb = verb(word)
, 'llen owns the book.'
Sentence(noun(ellen),verbphrase(verb(owns),noun(book)))
³
Sentence
/ \
/ \
Noun verbphrase
/ / \
/ verb noun
| | |
Ellen owns the book
.
5.7. '.
, . ֳ , :
, ;
, ;
, .
5.7.1., .
, , . , your_age, age, , , .
Predicates
Your_age(age)
Clauses
your_age(i(AGE)):-write(AGE)
your_age(r(AGE)):-write(AGE)
your_age(s(AGE)):-write(AGE)
:
domains age = i(integer);
R(real);
S(string)
Predicates your_age(age)
:
Domain
age = integer, real, string