關係序言中的關係

Question

我們可以在序言中定義的關係中有關係嗎？

像我有一個關係定義如下：

relation(CctypeInt,[0-{2,3,4}, 1-{2,3,4}, 2-{2}],Ru1),!. 

現在還有一個變量，它是在兩個CctypeInt dependeant和RU1

，所以我喜歡

relation(cctypeint,relation(ru1,...,ru2)) 

思考的東西

這是可能的嗎？

Answer 1

關係由Prolog中的謂詞定義。沒有內置的（但你可以做到這一點，例如通過使用術語擴展）句法方式來定義謂詞在程序文本中的謂詞，似乎沒有理由這樣做。您可以簡單地編寫單獨的謂詞並引用它們。你可以當然有嵌套的術語，即術語作爲其他術語的子項。

你是什麼意思與

relation(CctypeInt,[0-{2,3,4}, 1-{2,3,4}, 2-{2}],Ru1),!. 

？這是一個說明關於謂詞（，）/ 2的一個子句，我懷疑它是這個意圖。另一方面，您當然也可以在您的程序中構建和使用Prolog術語，如

relation(cctypeint,relation(ru_1,...,ru_n)) 

在您的程序中表示您的數據。