... 我们真正的意思是说,在某一时刻 see ( john , mary )为真,同时我们可以建立一个 Prolog 的数据库,它由逻辑式 hold ( P , T )的若干条目组成,意思是在时刻 T , P 为 ...
確定! 回上一頁