gnu-prolog

0熱度

1回答

我在Prolog中編程，有時我想得到一個失敗，但我得到一個異常，我不明白爲什麼應該是他們之間的差異。如果某些事情不能執行，那意味着謂詞沒有成功，所以這是一個簡單的失敗。我錯過了什麼嗎？

1熱度

2回答

所以基本上我想打電話從Prolog的一些C代碼，這裏是代碼：序言： :-foreign(fun1(+integer,-integer)). :-foreign(fun2(+integer,-integer)). % p = b; testfuna(Var, Val) :- fun1(Val, Var). % p = &b; testfunb(Var, Val) :- fun2(Val

3熱度

1回答

基本示例中的Prolog存在錯誤

我在學習Prolog的基礎知識，並使用以下代碼繼續運行到exists_error。 comes_after(m1, m2). comes_after(m2, m3). comes_after(m3, m4). comes_after(m4, m5). comes_after(m5, m6). does_come_after(X, Y) :- comes_after(X, Y). do

1熱度

2回答

從C作爲獨立調用（GNU）Prolog的示例

我想基於使用Prolog謂詞的C-File構建可執行文件。我想使用GNU Prolog。我成功（基於GNU序言教程）建examp_c.c，examp.pl： #include <string.h> #include <gprolog.h> PlBool my_call(PlTerm goal) { PlTerm *arg; int functor, arity;

3熱度

1回答

gprolog說「真的？」是什麼意思？而不是在這個例子中「是」？

我正在嘗試編寫一個gprolog程序，確認從this歌曲（收聽here :-)）獲得一些「合理的」背景後，當我查詢grandpa(me, me)（即，我的確是我自己的爺爺？）時，會回答「是」。這是作爲我的AI類的任務給出的，我們需要自己決定包含哪些事實和謂詞。雖然它充滿了冗餘和我不使用的一些條款（一些僅僅是爲了歌曲），但這裏是我扔在一起的，必要的假設是繼子女被認爲是完全/普通兒童： 3 male(

1熱度

2回答

在C接口中從Prolog獲取列表元素

我嘗試使用基於GNU Prolog的Prolog腳本實現C接口。我的問題是獲取嵌套Prolog列表的單個元素。實際上我的C代碼看起來像 ... int func; PlTerm arg[10]; PlTerm *sol_gb; PlBool res; int nmb; char *strHead; char *strTail; PlLong nummero; PlTerm pl

2熱度

1回答

GNU Prolog：顯示查詢的WAM代碼？

是否可以使用GNU Prolog來顯示查詢的WAM代碼？我知道我可以使用pl2wam來爲程序生成WAM，但是我對程序執行的查詢又如何呢？有沒有辦法顯示這個WAM代碼？我使用的版本爲1.4.4的Windows 64

0熱度

2回答

如何在macOS上運行gprolog Sierra

我剛剛使用brew install gnu-prolog安裝了gnu-prolog。當我嘗試在終端運行gprolog時，我得到gprolog: command not found。我試着對我的另一臺運行ElCapitan的機器進行同樣的操作，並且都完美運行。有沒有辦法讓我得到gprolog macOS Sierra？

0熱度

1回答

我怎樣才能改變數獨

的大小我有一個腳本來解決數獨，大小= 9 * 9 我有81個變量，我定義的規則對他們來說，如何更改此代碼來解決數獨與任何大小？例如對於數獨16 * 16，規則將針對4 * 4的子方案。 go(L) :- L=[A1,A2,A3,A4,A5,A6,A7,A8,A9, B1,B2,B3,B4,B5,B6,B7,B8,B9, C1,C2,C3,C4,C5,C6,C7,C8,C9, D1,D2,D3,D

20熱度

2回答

在GNU-Prolog中，我能「捕捉」一個linux信號嗎？

有沒有辦法在GNU Prolog中「捕捉」（例如'捕捉'）操作系統信號？（我使用的是Ubuntu/Linux，最新的gprolog）。我想很久以前我曾經在WAMCC這種方法，在此之前演變爲GNU序言： :- catch(Long_Running_Goal,signal(2),write('program interrupted')) 但是，如果我這個使用測試（重複，失敗）與無限循環，例如