prolog-setof

0熱度

1回答

我有一個謂詞，其目的是打印出哪個國家面積最大（一個邊界最大=最大面積）。這是我的謂詞的樣子： /* If I write get_country(X, 'Europe'). then all the countries in Europe that isn't bordering a sea gets printed out. However as you can see I am creat

0熱度

1回答

SETOF/3和NAF

，所以我有一組事實： course(cs61, "intro to cs") ... course(cs62b, "data structure") ... grade(adam, cs61, spring11, "A") ... grade(chrisitian, cs61, fall2010, "A-") 我需要定義一個謂詞good_standing(Student)，以確定

2熱度

1回答

/3似乎SETOF並沒有被刪除重複

我試圖找到一個列表的補集，給出一個列表L1和通用列表L2用下面的代碼： complement(L1, L2, Res):- setof(X, (nth0(N, L2, X), not(member(X,L1))),Res). 然而，我結果包括重複並以列表形式都沒有給我寧願： 23 ?- complement([1,3], [-1,1,3,5,2,4,2,55,1,0], Res).

0熱度

2回答

簡單的Prolog SETOF

這很簡單，但似乎無法把握它，我有這些「顏色」 color(blue). color(red). color(white). 使用setof 我需要得到這些顏色的所有可能的組合列表中的這將是巨大的，如果你可以提供一個簡要的解釋。我想這個查詢 setof(X,color(X),Colors).這顯然失敗感謝

0熱度

2回答

序言如何防止重複回答

我的程序知識庫具有原子語句和規則，如 store(itemName, ProductType) 例如：商店（iPhone5的，電話） manufacturer(itemName, Company) 例如：製造商（iPhone5的，蘋果）查詢是要找出是否有製造超過2個不同產品類型的公司，所以蘋果將有Macbook，iPad和iPhone 這裏是我們的查詢： ?- store(ItemID1

0熱度

1回答

序言確保規則的返回參數是獨一無二的，在規範順序

我有，看起來像下面這樣的Prolog的文件中聲明瞭一些數據： gen1(grass). gen1(poison). gen1(psychic). gen1(bug). gen1(rock). ... gen1((poison, flying)). gen1((ghost, poison)). gen1((water, ice)). ... weak1(grass, poison

0熱度

1回答

序言查找全部謂詞

我試圖找到一個人的所有的兄弟。我已經創建了以下規則.. find_all_brothers(Z):- findall(X,brother(X,Z),X0),write(X0). 然而這工作，如果一個人有一個以上兄弟，然後它會只找到一個兄弟..我假設我不得不使用遞歸方式，但我有點卡住了！

3熱度

2回答

序言：失敗驅動循環

我使用以下故障驅動循環列出所有內容，而不使用分號。 happiness(fred,5). happiness(john,3). happiness(grace,2). someGoal(X) :- happiness(X,Y), write(Y), tab(4), fail. 在查詢模式下，我得到這個預期 ?- someGoal(_). 5 3 2 我怎樣才能插入這

0熱度

1回答

Prolog - 使用Bagof

我一直在學習考試時遇到過去的紙質問題。的問題是： https://gyazo.com/ee2fcd88d67068e8cf7d478a98f486a0 我想我必須使用findall/bagof/setof因爲我需要收集一套解決方案。此外，setof似乎是合適的，因爲該列表需要按降序呈現。我的解決方案迄今： teams(List) :- setof((Team, A), (T

1熱度

2回答

SWI Prolog使用聚合

我在SWI Prolog上創建了一個簡單的數據庫。我的任務是根據生產計劃來計算每個部門的工作時間。我差不多完成了，但我不知道如何總結我的結果。至於現在我得到這樣的事情部門數量 B 20 Ç50 下30 我怎麼能轉換到這個？ B 20 C 80 我的代碼https://gist.github.com/senioroman4uk/d19fe00848889a84434b