swi-prolog

1熱

1答えて

XPCEウィンドウの代わりに、apropos/1とhelp/1などの出力をEmacsバッファに入れたいと思っています。私はLinux上でSWI-Prologを使用しています。初期化ファイル（ ~/.plrc）のフラグを設定する：--nopceフラグ（/usr/lib/swi-prolog/xpce.rcを見ている野生の推測）で swiplを呼び出す :- set_prolog_flag(gui,

4熱

4答えて

SWI-Prologの可逆述語と文字列

append/3は非常に強力な述語です。 SWI-Prologの文字列の場合と同じように動作する述語が必要だとします。私が見る最も簡単なアプローチは、でリストに変換してからappend/3を適用し、次にを使用します。このアプローチの大きな問題は、両方の変数が統合されていない場合、が機能しないことです。ここでは私が必要なときを適用するために統一されている文字列をチェックする、思い

2熱

2答えて

目標を呼び出し、論理推論の数をPrologの変数にバインドするにはどうすればよいですか？

マニュアルによれば、time(+Goal)はGoalを実行し、とりわけ使用される論理推論の数を表示します。論理推論の数を変数にバインドする方法を教えてください。

1熱

1答えて

プロローグ内のtcp_connectにcatch/3を使用できません

サーバがリッスンしているかどうかを確認したいのですが、以下のコードを使用しています。 :- use_module(library(socket)). goal(IP,Port,Sock):- tcp_socket(Sock), tcp_connect(Sock,IP:Port). main(IP,Port):- catch(goal(IP,Port,Sock)

2熱

1答えて

JPLを使用してswi-prologコンソール出力を取得する方法は？

私のプロジェクトの1つにswiplコンソール出力（トレース出力）が必要です。私はこれを行うにはJPL7 APIを使用しようとしているが、私はswiplコンソールから出力を取得する方法を見つけることができないようだ。私はこれを行う方法がありますか？または、トレース出力をファイルに転送してそこから作業するクエリを実行できますか？ありがとうございます。（？）

3熱

1答えて

Prolog（swi-pl）での長さ/ 2の論理推論の数

組み込みの長さ/ 2述語が論理推論の数において線形であると予想しました。ただし、定数であると表示されます。 ?- length(L,10),time(length(L,X)). % 2 inferences, 0.000 CPU in 0.000 seconds (63% CPU, 142857 Lips) ?- length(L,20),time(length(L,X)). % 2 in

2熱

1答えて

制約論理プログラミングのクエリの結果を決定する方法

制約論理プログラミングのいくつかの改訂を行い、その結果を正しく述語化するために次のクエリをどのように読むことができるかを知りたがっています。基本的に、次のクエリによって提供される回答が正しいかどうかを尋ねる質問があります。だから、これは私の質問の答えが正しいかどうかを判断するために、クエリを読むための最良の方法は何かということです質問 Consider the following querie

-1熱

1答えて

私は非常に簡単なプロローグコードeliza chatbotが必要

私はPrologでElizaのチャットボットを編集しようと苦労してきました。何かを編集しようとするたびに、新しいエラーが表示されます。どんな種類の編集でも保護されていますか？ SWI-prologエディタを使用して編集しました。問題は、完全に理解することなくコードを最小限にしようとしていることです。私はそれの簡単な短いバージョンをしようとしています。だから、私は非常にシンプルなチャットボットプロ

0熱

1答えて

グループを使ってech item、outvar、operatorのアクセスをゲートするためのXMLコードの述語をどのように実装すればよいですか？

this is xml converted in prolog file which i wnated to be get access for each child using parent group. here is file :- :- style_check(-singleton). better('SWI-Prolog', AnyOtherProlog). group('R

2熱

1答えて

Prologの文字列からリストへの変換

ソフトウェアを使用しようとしていますが、いくつか問題があります。プロローグがプリインストールされている大学のコンピュータ（OSX）やWindowsコンピュータでは、同じソフトウェアが動作することに注意してください。それは私のLinux/Ubuntuマシンでは動作しませんが。ソフトウェアは、このフォームを使用してbashスクリプトで起動：： echo "reset_statistics(off