BinaryDevelop

  • 'if' in prolog?

    質問 Prologでifを行う方法はありますか？例えば、変数が0であれば、何らかのアクションを行う（ターミナルにテキストを書き込む）ことができます。elseは必要でさえないが、私はifのドキュメントを見つけることができない。 どのように解決するのですか？ 標準的なProlog述語がこれを行います。 isfive(5). は5で呼び出すとtrueと評価され、それ以外で

    2023-10-25 22:31:42

  • [解決済み] 論理プログラミングに関して、PrologとminiKanrenの主な技術的な違いは何でしょうか？[クローズド］。

    質問 <余談 クローズド . この質問はもっと必要です 集中的 . 現在、回答は受け付けておりません。 <パス この質問を改善したいですか？ 問題を更新して、1つの問題だけに焦点を当てるようにする。 本論文の編集 .

    2022-05-14 14:24:18

  • [解決済み] Prolog ㊙と㊙の違いは何ですか？

    質問 をクリックします。 というのも ?- 15\=14. ?- \+ 15=14.<--- this gives an error while the above does not. なぜ、同じではないのですか？ 編集：以下はエラーです。 Compiling the file: D:\Program Files\Strawberry Prolog Beta\Gam

    2022-03-13 05:47:08

  • [解決済み] Prologにおける"˶‾‾‾"とは何ですか？

    質問 ここで使っている回答をいくつか見たのですが、意味や使い方がわかりません。また、検索エンジンで探すのも大変です :) どのように解決するのですか？ それは、' 証明できない 演算子です。 引数が証明可能でなければ成功します（引数が証明可能であれば失敗します）。

    2022-03-08 15:54:06

  • [解決済み] Prologでは%記号はどのような意味ですか？

    質問 この%という記号は、Prologのコメントだと思うのですが、よくわかりません。 %path(X,Y,[X,Y]):- %next_to(X,Y). コメントはありますか？ 解決方法は？ <ブロッククオート Prologでは percentage sign (%) は、残りの文字が は無視されます。 ソース <ブロッククオート プログ

    2022-02-19 01:04:05

  • [解決済み] Prologの未定義手続きエラー

    質問 ルールを書きました。 parent(georgie,jessy) :- child(jessy,georgio). を証明したいのですが ?- parent(georgie,jessy). エラーが発生する parent/2: Undefined procedure: child/2 よろしくお願いします。ありがとうございます。 解決方法は？ を

    2022-02-18 17:27:09

  • [解決済み] Prologは初めてです。このコードを実行しようとすると、 - ERROR: Undefined procedure: teaches/2 (DWIM could not correct goal) が表示されます。

    質問 以下は、私が書いた事実です。 instructor(ahmed,mohammed, cs101,01). instructor(sara,salah,cs101,02). instructor(maryam,faisal,cs101,03). instructor(ali,hassan,cs311,01). enrolled(201110202,huda,issa,cs101,0

    2022-02-18 15:03:24

  • [解決済み] SWI-Prologでリストから重複を削除する方法は？

    質問内容 述語を書く必要があります remove_duplicates/2 は、与えられたリストから重複する要素を削除します。例えば ?- remove_duplicates([a,a,b,c,c], List). List = [a,b,c] Yes SWI-Prologを学んで2日目、Prologの基本しか理解していないことをご留意ください。これは、私が今持っているものです。

    2022-02-17 19:42:02

  • [解決済み] Prolog - 回文ファンクタ

    質問 私は述語を書こうとしています palindrome/1 は、そのリスト入力が回文リストからなる場合にのみ真となる。 を例にとると ?- palindrome([1,2,3,4,5,4,3,2,1]). が真であることを示します。 何かアイデアや解決策があれば教えてください。 解決方法は？ 回文リストは、逆から読んでも同じになるリストなので、リストを逆にして

    2022-02-17 14:41:20

  • [解決済み] Prologにおけるエクスクラメーションマーク

    質問 次の事実と述語がある。 sound(time1). sound(time2). sun(time3). relax(X):-sound(X),!,sun(X). relax(_):-sun(_). を実行する場合 relax(S). 期待するのは S=time1 により ! これは、（間違っていたら訂正してください）「X」が満たされたら、バックトラックを停止する、とい

    2022-02-12 17:43:34

  • [解決済み] "シンタックスエラー。Prologで「演算子が期待されています。

    質問 Prologでデータフローを表現したグラフ構造があります。 ノード1から2へ、1から3へ、といったエッジがありますね。 ノード1には変数x、ノード4には変数tが定義されている、など。 変数dはノード4で、変数xはノード7で使用される、など。 関数 definition_clear_path を計算する必要があります。 定義クリアパス は、任意の変数の

    2022-02-02 19:51:09

  • [解決済み] "シンタックスエラー。Prologで「演算子が期待されています。

    質問 Prologでデータフローを表現したグラフ構造があります。 ノード1から2へ、1から3へ、といったエッジがありますね。 ノード1には変数x、ノード4には変数tが定義されている、など。 変数dはノード4で、変数xはノード7で使用される、など。 関数 definition_clear_path を計算する必要があります。 定義クリアパス は、任意の変数の

    2022-01-31 23:15:33

  • [解決済み】Prolog - 引数が十分にインスタンス化されていない

    質問 あるリストの中で数字でない要素がいくつあるかを数える小さなプログラムを書いています。 以下は私のコードです。 not_number([],0). not_number([X|T],R):- not(number(X)), R1 is R+1, not_number(T,R1). not_number([_|Tail],Result):- no

    2022-01-27 19:11:32

最新

おすすめ

について
/
プライバシー・ポリシー
/
お問い合わせ
© 2022 BinaryDevelop. すべての権利は、それぞれの所有者に帰属します