dcg

0熱

1答えて

dcgを使用してPrologに述語CleanList/3を書き込む必要があります。これはリストを解析して同じ番号の新しいリストを返しますが、数字は削除されません。例えば： ?- cleanList([1,2,d,67,3.2,'CSI2120',foo,5],LL). LL = [1, 2, 67, 3.2, 5]. 私はベースケースを書いて、再帰的なケースでDCGを実装するのに苦労。誰か

2熱

2答えて

は私が分探索木に戻ってINORDERリストを回してINORDERトラバーサルを「逆」しようとしているプロローグ

にinorderを列挙します。 BSTの述語形式はnode(Value,Left,Right)またはleafなので、空のツリーはちょうどleafであり、1つのノードがあるツリーはnode(_,leaf,leaf)です。述語がenumerate_bst(Elems,Bst)である場合、目標はBstをinorderリストElemsのすべての可能性に一致させることです。例えば、（setof/3に注意し

0熱

1答えて

EBNFをBNFに変換し、それをDCGフォーマットとして使用します。

私のプロジェクトの一環として、EBNFをBNFに変換し、DCGを使用してSWI-PrologのBNFをプログラムする必要があります。次のように EBNFは以下のとおりです。 program -> int main () { declarations statements } declarations -> { declaration } declaration -> type identifi

0熱

1答えて

DCGの任意の用語 "chracter（_）が期待どおりに機能しない

文のリストをループし、文法的に正しいかどうかを検証しようとしています。文章は単語のリストです。これは次のようになります。 verifySen([]). verifySen([H|T]) :- sentence(H,[]), verifySen(T). verifySenにはリストのリストが入力されています。 sentence(H,[])は、何かが有効な文であるかどうかを確

2熱

2答えて

Prolog DCG：チェーン上の異なる記号に一致する

[001（0,0,1）、（1+（1/0））['（'、1、+、 'などの一部の文を一致させようとしています。（ '1、/、0、 '）'、 '）']など。私は自分自身が小さなDCGを次作りました。 g3 --> s3. s3 --> e3. e3 --> eAdd. e3 --> eMin. e3 --> eMul. e3 --> eDiv. e3 --> n3. eAdd --

1熱

1答えて

データベースに関するクエリを解析するためにDCGを作成するにはどうすればよいですか？

私はPrologを学んで遊んでいるだけで、情報のデータベースを構築し、自然な英語を使って関係について質問しています。これをどうやってやりますか？例：今 %facts male(bob). female(sarah). male(timmy). female(mandy). parent(bob, timmy). parent(bob, mandy). parent(sarah,

1熱

2答えて

Prologで "phrase/3"メソッドへのユーザ入力を処理する

私はPrologでDCGを構築しました。 phrase(programm(R), [1,+,2], []). 私は、ユーザーが入力を書きたいので、私はこれでした：：コードは、私は次の呼び出しを行う際に、作品 main :- read(Input), atom_chars(Input, R), write(R), phrase(programm(E), R). メインと入力などの呼び出しを'

1熱

1答えて

ライティングDCG - プロローグ

私は "uとvは同じ長さと0の数である必要はありませんu2vの形式で文字列を取ることDCGを書くことに取り組んでいますsのuは1の番号と同じでなければなりません。vです。これまで私は紙の上で動作するいくつかの文法を書くことができましたが、それらをコーディングしてクエリを試してみると、通常どこかのループで終わります。これは私が得ることができました最も近い： s-->[2]. s-->u,[0],

2熱

1答えて

Definite句文法、文字列がcharかどうかをチェックする方法？

それは私には良いようですが、それは常に偽を与える...と私はなぜ得ることができません。 letter(X) --> [C], {"a"=<C, C=<"z", name(X,[C])}. ありがとうございます。

1熱

1答えて

確定節文法、SWI-Prologの7の相違点と古い

はSWIでの検索 :- set_prolog_flag(double_quotes, codes). letter(X) --> [C], {"a"=<C, C=<"z", name(X,[C])}. を働いています-Prologウェブサイト私が見つかりました： Mode--------------double_quotes-----------back_quotes Version 7