純粋なプロローグの小さなプログラムのソース

Question

質問：チェックアウトできるプログラムがある場所はありますか？私はロゼッタのコードスタイルを話していますが、私はそこに行って、ほとんどすべてのプログラムが私の研究要件のために私を助けない非純粋なプロログ構文（カットを使用して、そのタイプのものを使用して）で解決されることを見ました。

どのような情報源がありますか？私は設定された場所などの要素を挿入するような小さなプログラムを話している、私は私が物事を正しくやっているかどうかを確認することができますより多くの方法を学ぶ見つける

こんにちは皆プロローグを学習して、プロローグが見つかりました。これは私が2ヶ月のクラスより2つのクイックリードでより多くのプロローグを学ぶのを助けました。 私はいくつかのエクササイズを正しく解決しましたが、これは私には驚きでした。だから私はこのトラックを保持したいと思います（私は第5章まで演習の多くを行いました。私は解決策に近づいているかどうかを確認できるカップルのギブスを見つけました、解決策が欠けている場合など） 事前のおかげで

それが良い以上の3例でできれば、私は、このような何かを話している価値がある何のため

が、この種の問題

http://www.irisa.fr/prive/ridoux/ICLP91/node7.html#SECTION00031000000000000000

Answer 1

あなたがプロローグの勉強を実装して始めることができます
for Prologこれは通常のリスト述語です。彼らは は、ここで指定されています

プロローグ（ワーキングドラフト）
ウルリッヒNeumerkel用Aプロローグ、2012年9月6日
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue

そして、あなたは見つけるの実装をさまざまな場所でhere
（GitHubのSWI -Prolog）とhere（GitHub Jekejeke Prolog）があります。