Prolog查询初学者

Question

给出谓词

• hasAccount(Person,Bank,Amount) - 此人在银行拥有余额金额的帐户

• lives(Person,City) - 此人居住在城市

• created(Person,Bank,Month,Year) - 该人在年度月份在银行开立账户

如何仅使用以下“- , < =< > {{1>找到同一银行中拥有最旧帐户的人}} >=“运营商？我迷失了！

Answer 1

根据您的评论，\+用于not（不可证明）：

created(Who,Somebank,Month1,Year1),
\+ ( created(_,Somebank,Month2,Year2), older(Month2,Year2,Month1,Year1) )

将older/4定义为：

older(_Month2,Year2,_Month1,Year1) :- Year2 < Year1.
older(Month2,Year,Month1,Year) :- Month2 < Month1.