問題タブ [swi-prolog]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
javascript - Javascript を介して Prolog をクエリする方法は?
WordNet データベースのクエリに SWI-Prolog を使用しています。ここで、ユーザーから単語を受け取り、それをデータベースに対して照会する HTML インターフェースを構築する必要があります。
Prolog に単語をクエリにラップして送信する JS コードを作成するにはどうすればよいですか? また、Web ページに表示できる意味のある変数で結果を取得するにはどうすればよいですか?
c# - SWI-Prolog C# を使用して C# で Prolog クエリから結果を取得する
SWI-Prolog を使用して C# を使用してプロローグ ファイルの GUI を作成していますが、クエリからいくつかの文字列へのソリューションを取得する方法がわかりません。
pl のクエリ direct_evening_flight(london,edinburgh) は、月曜日、火曜日、木曜日などの曜日を返します。
C#でクエリを実行すると
結果をコンソールに自動的に出力します。ただし、代わりに結果を1つずつ文字列変数に受け取りたいです。どうやってやるの?
swi-prolog - Prolog ユーザー識別
Prolog を使用して Web 用の API を作成しています。ユーザーは自分の名前でサインインします。ユーザーがログオフするか、API をシャットダウンするまで、API がセッション全体でユーザーを記憶するようにしたいと思います。もちろん、これはユニークなユーザーごとに異なる必要があります。私の質問は、それを assert/2 としてプロローグにどのように書くか、または...?
unit-testing - テスト実行で無視されたサイレント フラグ
現在、 PlUnitテスト スーツを使用しようとしていますが、テスト中に述語の出力をオフにする問題が発生しました。
ドキュメントには、の行に沿ったもので問題ないと書かれてset_test_options([silent(true)]).
いますが、テストの実行には影響がないようです。
これらのオプションも呼び出しに入れようとしましたload_test_files/1
が、何も変わりませんでした。
ドキュメントを誤解しているようで、ここで何が失敗したかを確認しようとするとどこにも行き着かないので、誰かがこのライブラリについて助けを提供できれば、感謝して読むことができます。
prolog - SWI-Prolog で保存された状態を作成する
Windows でトップレベルから保存された状態を作成しようとしていますが、次のエラーが発生し続けます。
これはやるべきだと思いました。「mark_executable」を呼び出そうとするのはなぜですか? 必要なのは、組み込み C/C++ アプリケーションからロードできるリソース ファイルだけです。
誰でも助けることができますか?
random - Swi-Prolog: 未定義の手順: random_permutation/2
この述語random_permutation
が機能しないのはなぜですか?
http://www.swi-prolog.org/pldoc/doc_for?object=random_permutation/2
どうすればそれを機能させることができますか?
forms - SWI-Prolog cgi_get_form(Arguments)引数の保存と処理Webフォーム
私は保存する方法を探しており、フォームを送信し、同じプログラムを呼び出して別のフォームを生成するときに、SWI-PrologでWebフォームの引数を処理した後などです。あるフォームから次のフォームに常に同じプロローグプログラムを呼び出す。
CGI SWI-Prologライブラリは、これらの引数をName(Value)用語のリストとして保存します[Name(Value)]
。
フォーム内の隠し引数のように引数を渡すと(TotalArgumentsはリストです):
format('"<" input type = "hidden" id = "nameofform1" name = "nameofform1" value = "〜w" />〜n'、TotalArguments)、
追加するときに、TotalArgumentsの結果リストに連結されているIDまたは名前を削除する必要があります。最終的なリストが次のようになるようにこれを行う方法についてのアイデアはあります[nameofform1(value1), nameofform2(value2),...]
か?
この引数のリストを書き込んでファイルに追加し、プログラムが再度呼び出されるたびに参照することもできますが、これにより常に引数が読み込まれ、特定のステップで必要な引数とで処理されるフォームのみを読み込む必要があります。一瞬。そうしないと、実行後にこのファイルに望ましくない情報が含まれる可能性があるためです。この方法でそれを行う方法について何か考えはありますか?
この種の問題に関する他の提案はありますか?
隠しフォーム
を使用してソリューションを編集します。次を作成して解決しました。
そして、次のことを行います。
extract_value(Arguments、Value)、
次のようなフォームの隠された値を送信します。
format('<"input type = "hidden" id = "nameofform1" name = "nameofform1" value = "〜w" />〜n'、[Value])、
次のフォームに追加して、希望どおりに表示されるようにします。
[nameofform2(value2)、nameofform1(value1)]
xml - XML ベースの DSL の処理
SWI-Prolog には、一般化された XML プロセッサとして提供できるものがたくさんあります。
library(sgml)
XML 構造化フォーマットの読み取り/書き込み、library(xpath)
ナビゲーションなど... しかし、SVG を読み取ろうとすると、有効な XML であるというメッセージが表示されます。
間違い。
誰かがこれについてヒントを持っていますか? もちろん、独特の DTD を維持しながら、最終的に変更されたファイルの内容を書き直したいと思います。
prolog - SWI-Prolog フラグをオフにするにはどうすればよいですか?
フラグが適切な用語であるかどうかはわかりませんが、クエリの完了時に true または false を出力しないように swi-prolog プログラムを構成し、代わりにプログラムで決定された別のステートメントを単に出力する方法はありますか?
prolog - プロローグを他の環境に統合する
私は学術プロジェクトにPrologを使用しています。Prologが他のプログラミング言語と相互作用する方法があるかどうか知りたかったのです。私が欲しいのは、Prologの質問と回答の簡単な入力/出力リダイレクトです。
私は、PrologがいくつかのProlog実装でC関数を呼び出すことができることを知っています。すなわちSWIプロローグ。
私が必要としているのは、Prologの質問とユーザーが提供する回答の単純な入力/出力リダイレクトです。
どんな助けでも本当にありがたいです。