clpr

3熱度

1回答

參數是不夠的序言

我試圖運行此代碼實例化，但是我得到這個錯誤只要我使用此查詢：gp174(P, S). ERROR: >=/2: Arguments are not sufficiently instantiated. ，這是我的代碼： call_option(B,S,C,E,P) :- 0 =< S, S =< E/100, P = -C * B. call_option(B,S

error-handling prolog clpr instantiation-error 2012-10-10

---

1熱度

1回答

SWI-Prolog：如何編寫命令行輸出的解決方案？

我正在使用SWI-Prolog和clpr庫來解決實數約束問題。我通過從command line調用SWI-Prolog並通過另一個程序解析輸出來完成此操作。 例如，爲了解決類似{F = 1.8 * C + 32}, {C = 25}.我將生成以下命令： swipl \ -g "use_module(library(clpr))" \ -g "{F = 1.8 * C + 32}

command-line-interface swi-prolog clpr 2017-09-16

---

1熱度

2回答

XSB Prolog meta解釋器與clpr約束問題

我在我的Mac上運行XSB Prolog（El Capitan 10.11.2）： XSB版本3.6。 （Gazpatcho）2015年4月22日 [i386-apple-darwin15.2.0 64位;模式：最佳;引擎：slg-wam;調度：本地] [生產日期：2016年1月17日] 我使用的CLPR包，並希望寫一個小元解釋： :- [clpr]. try((G1,G2)):- !, try

xsb clpr 2016-02-08

---