Основные принципы моделирования предметных областей с помощью семантических сетей, страница 3

X=Kulikov I, Y=1984

X=Chaban S, Y=1984

X=Efremova M, Y=1984

X=Shunina O, Y=1984

X=Danilkova E, Y=1984

X=Kichaeva N, Y=1984

X=Golubeva M, Y=1985

X=Korsun M, Y=1984

X=Hicenko E, Y=1984

3.  defence_lab (X,Y).

X=1brigade, Y=1laba

X=2brigade, Y=1laba

X=3brigade, Y=2laba

X=7brigade, Y=1laba

X=9brigade, Y=1laba

X=10brigade, Y=2laba

X=11brigade, Y=1laba

4.   brig_older(X,Y).

X=Ignatev A, Y=1brigade

X=Koyfman D, Y=2brigade

X=Shilak D, Y=3brigade

X=Fedorov K, Y=4brigade

X=Lavrushenko N, Y=5brigade

X=Gallyamov O, Y=6brigade

X=Kichaeva N, Y=7brigade

X=Markov V, Y=8brigade

X=Tcarapkin V, Y=9brigade

X=Chaban S, Y=11brigade

Текст программы

predicates

relation(STRING,STRING,STRING)

stud_brig(STRING,STRING)

brig_older(STRING,STRING)

stud_birth(STRING,STRING)

defence_lab(STRING,STRING)

clauses

stud_brig(Stud,Brig) :relation("is",Brig,"BRIGADE"),

relation("is",Stud,X),

relation("type","STUDENT",X),

relation("belong",Stud,Brig).

brig_older(Stud1,Brig) :relation("is",Brig,"BRIGADE"),

relation("is",Stud1,X),

relation("type","STUDENT",X),   

relation("older in brigade",Stud1,Brig).

stud_birth(Stud,Birth) :relation("is",Stud,X),

relation("type","STUDENT",X),

relation("is",Birth,"Year"),

relation("born",Stud,Birth).

defence_lab(Brig,Lab) :relation("is",Brig,"BRIGADE"),

relation("is",Lab,"LABA"),

relation("defence",Brig,Lab).

%network 

relation("type","STUDENT","Man").

relation("type","STUDENT","Woman").

relation("born","STUDENT","Birthday").

relation("belong","STUDENT","BRIGADE").

relation("defence","BRIGADE","LABA").

relation("is","Ignatev A","Man").

relation("is","Koyfman D","Man").

relation("is","Sorokin A","Man").

relation("is","Shilak D","Man").

relation("is","Fedorov K","Man").

relation("is","Lavrushenko N","Man").

relation("is","Gallyamov O","Man").

relation("is","Andrycenko A","Man").

relation("is","Markov V","Man").

relation("is","Konovalenko","Man").

relation("is","Kazygashev K","Man").

relation("is","Tcarapkin V","Man").

relation("is","Kulikov I","Man").

relation("is","Chaban S","Man").

relation("is","Efremova M","Woman").

relation("is","Shunina O","Woman").

relation("is","Danilkova E","Woman").

relation("is","Kichaeva N","Woman").

relation("is","Golubeva M","Woman").

relation("is","Korsun M","Woman").

relation("is","Hicenko E","Woman").

relation("is","1985","Year").

relation("is","1984","Year").

relation("is","1983","Year").