Prolog：コードの生成

Question

プロローグプログラムから副作用としてプロローグコードを出力するのに最も慣用的なアプローチは何ですか？

例えば、単純なケースでは、テキスト入力が与えられた場合、テキストを有向グラフとして表す別のPrologプログラムを生成するプログラムを作成することができます。

私はこの質問がやや曖昧であると理解していますが、メタ循環型インタープリタのアプリケーションをカバーするProlog Meta-Programmingの文献で満足のいく答えが見つからないと、Stackoverflowに相談しました。

この質問が他の方法で明確に表現されていると思われる場合は、編集するかコメントを残してください。

Answer 1

writeq/1（またはformat（ '〜q'、[...]））は、読み込み可能な出力を生成します。通常、節の本文の後に完全停止する必要もあります。例えば、

?- A_Clause = (X is 1+Y, write('X is '), write(X), nl), format('~q.~n', [A_Clause]). 

コードの可読性@Falseで述べたように、変数「素敵な名前」を失うことに苦しんでいるが、機能がある...

編集

、スペースを試してみてください出力期間がドットで終わる場合、ドットがバグを避ける前に

Answer 2

最も慣用的な方法は常にになります純粋なとを避けて、の副作用を避けてください。

トップレベルであなたのために執筆しましょう！について  Pを保持しているものを、論理的な関係の観点で、その後、

program(P) :- ... 

と述べを：へ

により、たとえば言う関係を定義し、Prologのプログラムを生成します。例えば

：

 
program(P) :- 
     P = (Head :- Body), 
     Head = head(A, B), 
     Body = body(A, B). 

例のクエリと答え：

 
?- program(P). 
P = (head(_G261, _G262):-body(_G261, _G262)). 

ので、純粋なようにして製造されたプログラムは、あります。

あなたがportray_clause/1を使用し、それを書きたい場合：

 
?- program(P), portray_clause(P). 
head(A, B) :- 
     body(A, B). 
... 

これは、自動的に多くのプログラムを生成するために、失敗駆動ループに有用であることができます。