prolog

    0

    1答えて

    私はPrologの初心者です。なぜこのコードが期待通りに動作しないのか理解できません。 ?- p(X). X = [1, 2, 3]. ?- isFirstElement(1, p(X)). false. ?- isFirstElement(1, [1, 2, 3]). true. isFirstElementへの最初の呼び出しがtrueを返さないと私は確信していない理由: p(

    0

    2答えて

    これはおそらく本当に簡単なエラーですが、私は最後の2時間を費やしてしまいました。私のコードはsentence(np(det(a), np2(adj(very), np2(adj(old), np2(noun(woman))))), vp(verb(loves), np(det(a), np2(adj(tricky), np2(noun(crossword)))を生成し、私は私の人生は理由を見つける

    1

    2答えて

    peanoの番号をのプロローグで比較しようとしていますが、一部は間違っています。 誰もが私を助けることができるが、これは私のコードです: %Not Equal notequal(0,s(A),X). notequal(s(A),0,X). notequal(s(A),s(B),C):- A/=B . OR %Not Equal notequal(0,s(A),X). notequal

    1

    1答えて

    プロローグでの戻り値は、それは私が私のコードに問題があるかわからない、間違った答えを与えるいくつかのケースを入れて設定し シンプルなケースCは、DリターンC mod(C,D,F):- smaller(C,D) -> mod(C,D,C). よりも小さい私は出力 はあなたに感謝していない場合 です。単にこれにより

    0

    1答えて

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

    1

    2答えて

    私は非常にプロローグの新人です。 SWI-prologでswiplを使用しています。 私は、文字列が波線左ブラケット(で始まるかどうかを確認したい「{」)と右の波線ブラケットで終わる(「}」} 私がオンライン読んでいるいくつかのanswersは、プログラムに私をリードしてきました start_left_squiggle([Letter|_]):- Letter = '{'. 。文字列

    0

    1答えて

    Cが2つのツリーAとBをマージした結果である場合にtrueを返す述語treeMerge(A、B、C)を構築しようとしています。私は大まかなアイデアを持っています、私はルートをマージすることを考えています、そして、最初の子供、次に2番目のように、私はかなりプロローグに新しいです。

    0

    1答えて

    Prologで再帰がどのように機能するかを理解しようとしています。次のプログラムを考えてみましょう。 edge(a,b). edge(b,c). edge(c,d). edge(a,d). edge(c,e). path(d). path(Vertex) :- edge(Vertex, Next), write(Next), path(Next). 実行パス(a)。 出力: ?-

    4

    2答えて

    私は、キーストアを管理するリレーショナルプロローグプログラムを書いています。最初のコードは、インターネット上で見つかった講義スライドの一部から取っています(http://people.eng.unimelb.edu.au/pstuckey/book/course.html - 参照:データ構造スライドを参照)。 このコードでは、同じキーで複数の値を追加することができます。ただし、同じキーと値のペア

    2

    1答えて

    私はPrologに新しいです。私は、ある人物が他の人の友人か友人かどうかを調べるための質問を書こうとしています。 私はこのようないくつかの事実を持っている:私はこのような何かをした visible(joe, ann). true : friends(joe, [john, ann, pete, ellen, maria, jose, bruno, ali, jing, yang