Flowpatternは存在しません

Question

私は今プロローグのコードを作業しています。それは価値のあるコンパイルに近く、すべてのアイデアは固いと思われますので、コンパイルするとうまくいくはずです。それは、句のリストのためにデータベースファイルを参照し、それからそれが文から必要な情報を選び、データベースを適切に照会するユーザがクエリを待つプログラムですが、フローテイントが標準的な述語に存在しないと不平を言ってエラーを出すのは、これは愚かな質問かもしれませんが、これを調べてみても、誰かが私を助けてくれるならこの問題を解決する方法を見つけることができません正しい方向に私を指摘すれば、それは非常に高く評価されるだろう。 ！ここ

がエラーを与えるコードのブロックです：コンパイラが文句を言うことを具体的なラインは、（STR、SYMB、STR）fronttokenさ

loop(STR):- 
      scan(STR,LIST), 
      filter(LIST,LISroT1), 
      pars(LIST1,LIST2), 
      fail. 

loop(STR):- STR >< "",readquery(L),loop(L). 

readquery(QUERY):-nl,nl,write("Query: "),readln(QUERY). 

scan(STR,[TOK|LIST]):- 
    fronttoken(STR,SYMB,STR1),!, 
    upper_lower(SYMB,TOK), 
    scan(STR1,LIST). 

、 任意のヘルプは感謝をapreaciatedされます！

Answer 1

私たちはコードの "ex [c] er [p] t"を見ているので、間違っていることを確かめるのは難しいですが、この証拠にはloop/1が呼び出されていますreadquery/1引数STRからloop/1にデータを書き込む（バインドする）ことができます。

loop/1は繰り返し（反復的に）呼び出され、繰り返し/失敗パターンで呼び出されます。しかし、初めてloop/1が実行されたとき、どのように引数STRが入力されるのかが示されたコードには表示されません。

（より自己完結型）明確なコードスニペットは次のようになります：

loop :- 
      readquery(STR), 
      scan(STR,LIST), 
      filter(LIST,LISroT1), 
      pars(LIST1,LIST2), 
      fail. 

loop :- loop. 

これは、それを明確に述語loopが実際にどんな結果を返さない（と与えられたコードスニペットが完了していないということになり全体としてプログラムが達成していることを明確にするのに十分な）。 failより前の節がloopであると仮定しているため、失敗した場合、制御はloop/0という2番目の（再帰的）節になります。これが当てはまらない場合は、各呼び出しをonce/1の中にラップすることによって決定論が強制される可能性があります。