prolog

0熱度

1回答

值（如果回報來形容它正確的字我不SUR，但是這是最好的一個，我可以找到。）我想寫一個prolog中的一個小程序，它使用函數add來進行乘法運算。當我自己運行add或者甚至在函數測試中調用結果時，結果是「Z = sum」ex：如果我運行add（2,3，Z），它將顯示Z = 5。我的問題是，當我打電話給mult時，我無法讓它做同樣的事情。我發現的唯一解決方案是使用寫入，但這不是一回事。我嘗試了很多

1熱度

1回答

奇數倍

我需要有人可以幫助如何在序言 Define a predicate oddMultOf3/1 that determines whether an integer is an odd multiple of 3. A user should be able to enter the predicate with an integer, e.g. oddMultOf3(42) and evaluat

1熱度

1回答

將Microsoft .NET（C＃/ F＃）與SWI-Prolog接口

我有將Prolog連接到C＃的問題。 Visual Studio中給出了這樣的以下錯誤：「類型 'System.IO.FileNotFoundException' 未處理的異常發生在SwiPlCs.dll」，我真的不知道如何處理這個。我覺得從我的代碼給了路徑傳來： using System; using SbsSW.SwiPlCs; namespace ptest { cl

2熱度

1回答

在序言中獲得排序列表的頭

我是新的Prolog，我在這一點上被卡住了。如何獲得此排序列表的頭像？ mylist(List,First) :- sort(List, Sorted), mylist(Sorted,First). mylist([H|_],H).

2熱度

1回答

序言：語法正確的對象+關係與結構

我是Prolog的新手，並逐漸通過Ivan Bratko的「Prolog Programming for Artificial Intelligence」（第4版）。做練習時2.1。（第39頁），我不明白爲什麼5(X,Y)在語法上不正確，而+(north,west)是正確的。起初我認爲它與函子是一個數字（因爲我認爲這可能只是一個原子）有關，但根據這本書，一個原子也可以是一個數字。然後我認爲這是

1熱度

1回答

Prolog的移位或循環元素左

我需要在序言中的關係轉移列表旋轉左邊一個元素，使得 shift([a,b,c,d,e,f,g,h],3,Shifted). 應該產生 Shifted = [d,e,f,g,h,a,b,c] 你能幫助我嗎？這個我有什麼 shift([], []). shift([H|T], L) :- append(T, [H], L). shift(0, L, L) :- !. shi

2熱度

1回答

序言：如何獲得最古老和最年輕的血統

比方說，我有男性人口威廉姆斯和天行者家族的血統作爲我的知識基礎： father(phil,tom, williams). father(tom, bob, williams). father(bob, robert, williams). father(robert, steve, williams). father(anakin, luke, skywalker) father(lu

2熱度

2回答

Prolog中的列表[[a，b] | c]

在我探索記錄列表的不同方式期間，我對以下列表感興趣：[[a,b]|c]，它出現在Pereira的書「Prolog and Natural Language Analysis」 Shieber（digital edition的第42頁）。起初我以爲這樣的符號在語法上是不正確的，因爲它不得不說0123'，但是在使用write_canonical/1之後，Prolog返回了'.'('.'(a,'.'(

3熱度

1回答

一階邏輯Prolog的匿名變量

下Prolog的規則： grandparent(X,Z) :- parent(X,Y) , parent(Y,Z) 在一階邏輯將是： ∀x ∀y ∀z ((P (x, y) ∧ P (y, z)) → G(x, z)) 從理論上講，如果我們在我們的Prolog規則的東西有一個匿名變量像： grandparent(X,Z) :- parent(X,Y, _) , parent(Y,Z, _)

1熱度

1回答

序言「沒有足夠的堆棧」錯誤

我在Prolog寫了一個族譜程序。這裏是我的規則： father(X,Y):-male(X),parent(X,Y). mother(X,Y):-female(X),parent(X,Y). parent(X, Y) :- father(X, Y). parent(X, Y) :- mother(X, Y). ancestor(X,Y):-parent(X,Y). ancestor(X,