問題タブ [amzi-prolog]

Bratko の演習 4.3 に統計を追加して試しています。統計を追加した瞬間に、Prolog から「いいえ」の回答が返されたり、場合によっては無限ループに陥ったりするようです...

たとえば、この質問はスケジュールの明確な答えを私に与えます:

しかし、次のような統計を追加すると:

プロローグは「いいえ」と答えます。

その理由は、私が Amzi Prolog を使用しているからでしょうか?

クラスの課題として、動詞を取り込み、「ion」とそのバリエーションを追加して名詞に変換する Prolog プログラムを作成する必要があります。単語の文字のリストを取り込むのではなく、完全な単語を取り込み、それをリストに変換して操作したいと考えています。これはクラスの課題であるため、教師から提供された同じバージョンのソフトウェアを使用する必要があります。

Amzi Prolog 5.0.31 Windows 2001 年 10 月 20 日 21:25:35 Copyright (c) 1987-2000 Amzi! 株式会社

また、このバージョンでは、組み込みの述語 atom_chars が機能しません。

私がこれまでに見た唯一の解決策は次のとおりです。1.アトム（abc）を取り込む2.name/2述語を使用してUnicodeリストを取得します（[0w0061、0w0062、0w0063]）3.要素ごとにUnicodeリストを取得し、名前述語を使用して変換します各要素を特徴付け、要素を含む新しいリストを作成します。([c,b,a]) 4. リストを逆にする([a,b,c])

これを行うためのより簡単な方法を考えている場合は、私を助けてください。これまでの割り当てのコードは次のとおりです。

/* タイプ 1 動詞 */

/* タイプ 2 動詞 */

/* タイプ 3 動詞 */

初めてPROLOGに取り組みました。ですので、些細なミスはご容赦ください。

私は学生で、amzi prolog に問題があります。クラスで、項目がリストのメンバーである場合に true を返す述語があることを学びました。

member(1,[1,2,3])true を返す必要があります。

それでも、私は間違っています。

私は何か間違ったことをしていますか？

助けてください。

よろしく、ID

Eclipse Neon + Amzi をインストールしました！Prolog (win64+10.0.4) 数日前。しかし、プロローグ プログラムをデバッグしようとすると、IDE が「この機能は、実行しているエディションでは利用できません...」と叫び、Web ページにリダイレクトするための「はい」ボタンが古くなっているようです。デバッグはプログラミング言語の基本的な機能であるため、デバッグ機能を使用できない本当の理由はバージョンではなく構成にあるのではないかと思います。誰でもこの問題を解決する方法を教えてもらえますか?

簡単な計算プログラムを実行するのに問題があります。何らかの理由で、呼び出されたときに値ではなく変数のアドレスのみを渡します。誰かが私の伝票を指摘していただければ幸いです。ありがとうございました。

IDEとしてEclipseを使用して、AMZIプロローグロジックサーバーで開発しています。https://github.com/AmziLS/interfaces/tree/master/samples/internetで提案されている socket.pro の例を使用しています。Eclipse では、ソケット通信は、解釈されたバージョンおよびコンパイルされたバージョンとして正常に実行されます。次に、 https://www.amzi.com/manuals/amzi/ls/lsxsock.htmに従って .exe を作成しました。.exe を起動すると、正常に起動しますが、bind() コマンドで停止します。

(このバインドは Eclipse で成功します。ポートは AWS EC2 のセキュリティ ルールと Win 10 のファイアウォールで宣言されています)

手伝ってくれませんか？