Логическое программирование на языке Visual Prolog. Солдатова О.П - 47 стр.

UptoLike

47
facts
dbin (byte, byte, byte, byte)
predicates
cifra (byte)
bin (byte, byte, byte, byte)
clauses
cifra (0).
cifra (1).
bin (A, B, C, D):- cifra (A), cifra (B), cifra (C), cifra (D),
assert (bin (A, B, C, D)).
goal
bin (A, B, C, D).
Пример 49: Написать программу, подсчитывающую число обращений
к программе.
facts
dcount (word)
predicates
modcount
clauses
dcount (0).
modcount:- dcount (N), M=N+1, retract (dcount (N)),asserta (dcount (M)).
goal
modcount.
Пример 50: Написать программу, определяющую родственные
отношения.
facts
dsisters(symbol,symbol)
dbrothers(symbol,symbol)
predicates
parents(symbol,symbol)
pol(symbol,symbol)
sisters(symbol,symbol)
brothers(symbol,symbol)
clauses
parents (anna, olga).
parents (petr, olga).
parents (anna, irina).
parents (petr, irina).
parents (anna, ivan).
parents (petr, ivan).
pol(olga, w).
pol(anna ,w).
pol(petr, m).
pol(irina, w).