Prolog的查询初学者

Question

鉴于谓词

• hasAccount(Person,Bank,Amount) - 这个人有一个帐户在银行，其余金额

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

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

你怎么会找到只用谁的人有最古老的账户在同一家银行下面的“-,<=<>>=not”运营商？我深深地迷失了！

Answer 1

基于您的评论，\+用于not（不proveable）：

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.