s<< rp("Kind? diary") # return "book"
s << rp("Is? diary book ") # diary is an book ?
s << rp("Is? diary Thing ") #true
s << rp("Is? diary Place ") #false
rpp = lambda x:print(rp(x))
rpp("Kind? [noum] [is kind of [some]] ")
rpp("Is? diary Place ")
xx = s.match(rp("Instance :Noum :kind"), rp("Instance book thing ") )
print(xx)
print("------------")
for x in s.matchs(rp("Instance $Noum $Kind") ):
print( x)
print("------------")
def func_eval_if( ex ):
# (If X THEN_ELEM ELSE_ELEM )
return True
print("F: ", s.func_is_kind("diary", "Animal"))
