这是我在Prolog中加载的知识数据库:
%atoms
ada.
mario.
giuseppe.
%facts
femmina(ada).
maschio(mario).
maschio(giuseppe).
%relations
genitore(ada,giuseppe).
genitore(mario,giuseppe).
madre( X, Y) :- genitore( X, Y), femmina( X).
padre( X, Y) :- genitore( X, Y), maschio( X).
当我打电话给madre(ada,giuseppe).
时,Prolog返回uncaught exception:error( existence_error( procedure,genitore/0), madre/0)
。错误在哪里?
解决方案:我从src编译了gprolog,没有错误返回。