タグ付けされた質問 「prolog」

休業。この質問には、より焦点を当てる必要があります。現在、回答を受け付けていません。 この質問を改善してみませんか？質問を更新して、この投稿を編集するだけで1つの問題に焦点を当てます。 3年前休業。 この質問を改善する 論理プログラミングについて読みたいと思うとき、私は今日それを行うための2つの「主な」方法につまずきます。 miniKanren、で導入minilanguage 推論スキーマーに起因して、現時点での人気とcore.logic。 Prolog、最初の「大きな」ロジックプログラミング言語。 私が今興味を持っていること：2つの間の主な技術的な違いは何ですか？アプローチと実装は非常に似ていますか、それとも完全に異なるロジックプログラミングのアプローチを取っていますか？それらはどの数学の出身であり、理論的な基礎は何ですか？

123 prolog  logic-programming  minikanren 

（に際して@repeatの提案）のクエリを検討し、純粋なプログラム1 ?- G_0.クエリは何使用があればと考え?- G_0, G_0.ていましたか？ 脚注 1表を作成しない（安全のため）、制約はOKです。件名に関する 以前の投稿。

12 prolog  logical-purity 

私はで遊んでたプロローグcoroutining述語freeze/2とfrozen/2： ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog（x86_64のバージョン4.5.1）はこれらの答えを出しました： | ？-freeze（X、a = a）、frozen（X、Goal）。 目標= prolog：freeze（X、user：（a = a））、 prolog：freeze（X、user：（a = a））？; 番号 | ？-freeze（X、a = a）、freeze（Y、b = b）、X = Y、frozen（X、Goal）。 Y = X、 目標=（user：（a = a）、prolog：freeze（X、user：（b = b）））、 prolog：freeze（X、user：（a = a））、 prolog：freeze（X、user：（b = b））？; 番号 今は期待していませんでした！Goal = prolog:freeze(X,user:(a=a)) 私が期待していたのは、swi-prologバージョン8.0.3で与えられたような答えです。 ？-freeze（X、a …

11 prolog  sicstus-prolog  prolog-coroutining