問題タブ [yap]
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.
prolog - YAP プロローグ CPU 秒
YAPプロローグでtime/1を使用してCPU時間を測定していますが、たとえば取得しています
0.022 秒で 514.000 CPU (2336363% CPU) はい
私が聞きたいのは、これらの数字の解釈は何ですか? 514.000 は CPU 秒を表していますか? 「0.022 秒」とそれに続く CPU パーセンテージは?
ありがとうございました
dependencies - プロローグ述語依存ツリー
このシナリオがあるとしましょう：
昇順で使用される述語と昇順を使用する述語を知るにはどうすればよいですか? このタスクに役立つ組み込み関数またはメタ述語はありますか?
list - プロローグは節から頭を削除します
ヤップを使用しています。次のシナリオがあるとします。
p(x,y) :- q(x), f(x,y), g(x).
コマンドlisting(p)を使用して、述語の本体をリストに入れる必要があります。
期待される出力は [q,f,g] です。
どうすればそれができますか？
prolog - モジュールで定義された公開述語のリストを取得する
Prologでは、モジュールを定義するすべてのファイルが命令で始まる必要があることを知っています
実行時にモジュールによってエクスポートされたパブリック述語のリストを取得するにはどうすればよいですか?
解決しました。
?- all(X, [モジュール]:current_predicate(X),CX)。
c++ - Windows 8 で Yap をコンパイルする
YAP のデフォルトのインストーラーには Depth limit フラグが有効になっていないように見えるので、PC で yap をコンパイルしようとしています。Aleph の ILP プロジェクトで作業するには、これが必要です。
問題は、Linux 仮想マシンに十分なメモリがない Windows 8 を搭載した PC を使用せざるを得ないことです。cygwin にインストールを試みましたが、インストールの「make」段階に到達すると ( http://www.dcc.fc.up.pt/~vsc/Yap/Yap4.3/yap.html# SEC2 ) 次のエラーが表示されます
最新の YAP が現在古くなっていることが原因だと思いますが、これを回避するために何をすべきか知っている人はいますか?
prolog - metagol の述語の変数
次のプログラム noMetagolR は次の場所にあります。
http://www.doc.ic.ac.uk/~shm/Papers/metagol_gram.pdf 33 ページ。
クエリの例は次のとおりです。
回答の置換は、パリティに対して学習した文法を返す必要があります。
プログラムは Yap で実行されると言われています。私は通常、SWI-prolog を使用します。いずれにせよ、彼らに理解してもらうにはどうすればよいSkolem/1でしょうか? おそらくこれはSkolem変数であることを意味しますか？たぶん使っていると思い=..ましたが、これはうまくいきません。
また、いくつのSkolem/1事実が必要ですか？
prolog - YAP PROLOG タイムアウトの問題
Result次の YAP コードで変数が と統合されない理由を説明できる人はいますtime_outか?
documentationによると、述語は次のように機能する必要があります。
time_out(+Goal, +Timeout, -Result)
Goal時間制限付きTimeoutで目標を実行Timeoutします。 はミリ秒単位で測定されます。ゴールが成功したら とResult合体success。ゴールが終了する前にタイマーが切れた場合は、 で合体Resultしtime_outます。