test1.pro

经典的基于Context-Free_Grammer 的语法分析器。

% Author: Ying Tao, Department of Biomedical Informatics, Columbia University
% Date: 10/16/2005

class(organism).

class(plant).
is_a(plant,organism).
property(plant,special,plant_special).

class(fruit).
is_a(fruit,plant).
property(fruit,color,color_value).
property(fruit,size,size_value).
property(fruit,special,fruit_special).
may(ass(eat,s(people),o(fruit))).

class('苹果').
property('苹果',special,'苹果_special').
is_a('苹果',fruit).

class(gala).
property(gala,special,gala_special).
is_a(gala,apple).

class(binary).
property(binary,subject,anything).
property(binary,object,anything).

class(effect).
property(effect,result,result).
is_a(effect,binary).

class(increase).
property(increase,object).
property(effect,result,result(must(ass(object_num(increased))))).

is_a(increase,effect).

property(A,Bf,Bv):-is_a(A,B),property(B,Bf,Bv).


ancestor(A,B):-is_a(A,B).
ancestor(A,C):-is_a(A,B),ancestor(B,C).