我想知道如果it's可能在序言中單獨的文件,例如單獨的文件: 我想有我界面,規則,事實,在不同的文件諮詢,讓他們一起工作。如何在序言
如何在序言
回答
簡短的回答,是的。長時間的答案取決於「界面」的含義,以及您的要求有多簡單或複雜。正如mbratch指出的那樣,可以使用ISO Prolog標準include/1
指令來包括例如包含這些謂詞定義的文件中的一組謂詞指令。另一方面,如果您的應用程序需要同一接口的多個實現,則可以將Prolog模塊與include/1
指令一起使用,其中每個模塊將根據您希望作爲接口提供的實現提供實現,或使用Logtalk提供接口作爲第一類實體。然而,更合理的建議和詳細的答案需要您提供更多關於您想要完成的信息。
嗨Paulo當我說接口我正在談論使用xpce的GUI。我想要做的事情很簡單,我不喜歡將所有內容都保存在一個文件中(事實,規則,諮詢,GUI),我想只在一個文件中有事實,在另一個文件中有規則我希望能夠通過我的規則或諮詢訪問事實...... –
是 - 看SWI-Prolog的文檔中的 '模塊'。
總之,你請教一個文件,並將其加載他人。所以,說你有a.pl,b.pl等
這裏的b.pl
熊(X): - 寫( '我看到一個叫熊'),writeln(X)。公牛(X): - 寫('我看到一隻名叫''的公牛),寫(X)。
在b.pl
的頂部放
: - 模塊(B,[承受/ 1])。
現在你可以使用熊(中/ 1的意思是「有一個說法」)文件之外。
in a.pl put
: - use_module(b)。
請注意,有對
沒有特等,然後你可以參考承受
最終方案
a.pl
: - use_module(B)。
go: - 熊('Yogi')。
b.pl
: - 模塊(b,[bear/1])。
熊(X): - 寫( '我看到一個叫熊'),writeln(X)。公牛(X): - 寫('我看到一隻名叫''的公牛),寫(X)。
這種方式可以使事情像牛/ 1專用於單個模塊。
- 1. 如何在序言
- 2. 如何處理在序言
- 3. 如何計算在序言
- 4. 如何找到在序言
- 5. 我如何在序言
- 6. 我如何在序言
- 7. 如何在序言中跟蹤謂詞?
- 8. 如何防止在序言中沒有?
- 9. 如何在序言中定義謂詞
- 10. 如何在序言中創建列表
- 11. 在序言中,如何從列表
- 12. 序言 - 如何從列表
- 13. 如何從SWI-序言
- 14. 序言「如何返回值」
- 15. 在序言語言如何不重複的結果
- 16. 邏輯在序言語言
- 17. 保存斷言在序言
- 18. 在序言
- 19. 在序言
- 20. 在序言
- 21. 在序言
- 22. 在序言
- 23. 在序言
- 24. 在序言
- 25. 在序言
- 26. 在序言
- 27. 在序言
- 28. 在序言
- 29. 在序言
- 30. 在序言
是的,這是可能的。查看'include'指令。 – lurker