logic-programming

1熱度

1回答

我正在研究諸如吸血鬼和E-Prover這樣的一階邏輯定理證明器，並且TPTP語法似乎是要走的路。我對邏輯編程語法比較熟悉，例如Answer Set Programming和Prolog，雖然我嘗試引用TPTP syntax的詳細描述，但我仍然不明白如何正確區分解釋函數和非解釋函子（而且我可能使用術語錯誤）。本質上，我試圖通過證明沒有模型作爲反例來證明一個定理。我的第一個困難是我沒有想到下面的邏輯

1熱度

1回答

在clojure.core.logic中是否有一個合乎邏輯的for-all？

我試圖解決Smullyan的第一個難題，用clojure.core.logic模擬一隻知更鳥，不是因爲它特別困難，而是因爲它是一個練習。這個難題表明，有一個花園有三種顏色的花朵：紅色，黃色和藍色。每種顏色至少出現一次，無論你選擇哪種花，都會出現紅色和黃色。問題：第三是必然的藍色？的邏輯代碼的基本骨架是相當簡單： (run 5 [flowers] (counto flowers 3)

0熱度

1回答

如何匹配序言中給定reg表達式的字符串？

我試圖匹配一個表達式，它與給定輸入字符串的序言中的正則表達式類似。 match_function([_$]?[a-z]|[a-z][a-z_]*[a-z],"+ab_c"). false match_function([_$]?[A-Z]|[A-Z][A-Z_]*[A-Z],"+AB_C"). ... 任何指針如何處理這種情況？。就像我如何拆分第一個參數並使用模式匹配逐個檢查字符串的每

0熱度

1回答

如何在pyDatalog中創建動態算術事實？

我需要創建一個簡單的數據記錄機（這意味着我的輸入是2個文件：1.事實，2.規則。）我目前使用pyDatalog包。我需要解析事實並動態地創建術語。從pyDatalog的教程，我發現這個例子裝載事實： load(""" ancestor(X,Y) <= parent(X,Y) ancestor(X,Y) <= parent(X,Z) & ancestor(Z,Y) """) 在這種情況

3熱度

1回答

我如何接近Prolog

我在大學裏學習了Prolog課程。課程要求我們編寫prolog程序。我能夠編寫簡單的程序，但是我發現消化複雜的程序很難。任何建議如何進行或我如何研究這個問題？解決這種課程的方法是什麼？任何幫助讚賞。謝謝。

2熱度

1回答

序言 - ASP'不'序言否定

我有一個應答集編程（ASP）的例子問題。當我嘗試在Prolog中創建相應的代碼時，我一直在阻止not。這是ASP代碼： road(berlin,potsdam). road(potsdam,werder). road(werder,brandenburg). road(X,Y) :- road(Y,X). blocked(werder,brandenburg). route(X,Y

2熱度

2回答

MiniKanren是否有「不」操作符？

MiniKanren有沒有「不」操作符？例如，如何將一個代表的Prolog的 a :- b, not(c) a爲真，如果b是真實的，c不是（Prolog使用否定爲失敗，即not(c)被認爲是成熟的，如果c不能被證明） Prolog's not也適用於非基礎表達式，eg a(X, d(Y)) :- b(d(X), d(Y)), not(c(d(X)))

0熱度

1回答

如何獲得與邏輯編程和，而不是價值最高的工作和>

這是結構約邏輯編程和解釋計算機程序的這是理解如何獲得最高的一個簡單的問題值。這是一個示例數據庫： ((is-student Anna) (is-student Bart) (is-student Charlie) (is-student David) (is-student Eddy) (is-student Fanny) (has-points Anna 73) (has-p

0熱度

2回答

Datalog中的最大最小值和平均值

我無法確定如何使用Datalog聲明性邏輯編程語言計算平均值，最大值和最小值。例如，考慮到這個簡單的模式 Flows(Stream, River) Rivers(River, Length) 如果我想一）河流的平均長度， B）最長的河流， c）和河流較少流什麼是正確的Datalog查詢？我已經閱讀了Datalog理論，但無法確定這些簡單的在另一種語言查詢中如何用Datalog解決，並

2熱度

1回答

論溯邏輯編程對回答集編程

我期待澄清了一些關於溯因邏輯程序設計與回答集編程的東西。我的一些同學正在創建一個遊戲。在這個遊戲中有「英雄」（特殊的NPC）。英雄們有目標和行爲。（所有這一切都是故事驅動）我想什麼英雄的玩家或則另一位主角的行動決定如何從那裏做反應。老師給我們講了一個名爲紙「的RoleModel：實現故事代戲劇角色的形式化模型」，它解釋溯邏輯編程。通過我的研究，我找到了答案集編程。問：有工黨範式和ASP