prolog-setof

    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). 然而這工作,如果一個人有一個以上兄弟,然後它會只找到一個兄弟..我假設我不得不使用遞歸方式,但我有點卡住了!

    0熱度

    1回答

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

    0熱度

    2回答

    在Prolog,給出事實的知識基礎: someFact(one). someFact(two). otherFact(one, two, 123, 456). otherFact(one, four, 789, 123). 查詢setof(X, someFact(X), List).會產生這樣的結果: List = [one, two] 但是,查詢setof(X, otherFact

    2熱度

    1回答

    我正在用prolog分配一個問題。 所以,我有以下事實數據庫序言: student(name(doe, [john]), 33332, ['CSI1120']). student(name(doe, [jane]), 33336, ['CSI1120']). evaluation('CSI1120', homework(1), ['Prolog', database ], 5). mar

    1熱度

    2回答

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

    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

    2熱度

    1回答

    我試圖找到一個列表的補集,給出一個列表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回答

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