swi-prolog

1熱

1答えて

swi-prologでGUIを作成するためのコードをいくつか書きましたが、私のメインウィンドウはすべてのボタンとテキストフィールドに対して小さすぎます。たとえば、第1の結果の右側の "第2列"に6番目の関数の結果を描画する方法はありますか？ showForm :- new(W, window('Test', size(800, 800))), new(D, dialog('Ma

1熱

1答えて

XPCEのGUIでデータベースを変更

1）XPCEのボタンとテキストフィールドを使用してデータベース（ファクト）をどのように変更できますか？例えば、私は事実のセットがあります。私は、変更、編集のためのGUIをいくつかのグループを作った country('Austria',84,8200,3900). country('Belgium',30,10300,36500). country('Bulgaria',1111,7323,11

1熱

1答えて

Prologでファイルから定義/ロードされたすべての句を取得する方法

私はSWI Prologを使用していますが、Prologでこれを行う明白な方法がないことに驚いています。私が何をしているかは、節2に似ていますが、インスタンス化されていない最初の引数を許可しています（そして、指定されたファイルの句に固有です。つまり、Prologライブラリ全体を必要としません！ここにすべての句を見つけるために書いたものがあります。 clauseX(H,B) :- curr

3熱

2答えて

SWI-Prologで組み込みのappend/3をトレースする方法は？

SWI-Prologで組み込みのappend/3をトレースしたいのですが、すぐに結果を取得していて、途中で何が起こっているのかわかりません。追加のトレースを有効にするために必要なことはありますか？ ?- trace . true. [trace] ?- append([a,b,c], [[],[2,3], b], X). X = [a, b, c, [], [2, 3], b].

2熱

2答えて

SWI-Prologでリストコンストラクタ（./2）を使用する方法

SWI-Prologでリストコンストラクタを使用しようとしていますが、 'dict'という予期しないエラーが発生しています。例えば、 .(a, []) == [a]. ERROR: Type error: `dict' expected, found `a' (an atom) ERROR: In: ERROR: [11] throw(error(type_error(dict,a),_

6熱

1答えて

SWI-Prolog httpヘッダーを読み取る

SWI Prologがhttpをどのように処理するのか完全に理解していません。私はほとんどがget_header/1から離れて動作する次のコードを持っています。私は値を取得するためにhttpリクエストのヘッダーファイルを読むことができる必要があります。それ、どうやったら出来るの？ http_read_header/2を使用しますか？もしそうなら、どのように？ :- http_handler(roo

4熱

1答えて

SWI-PrologでPemファイルを開いて確認する

Pemファイルを開いて確認するにはどうすればいいですか？a） 'Not before'と 'Not after'の日付は間違いで、b）ルート認証局にファイルをペムできますか？私が試してみました： :-use_module(library(http/http_client)). url('http://fm4dd.com/openssl/source/PEM/certs/512b-rsa-ex

4熱

1答えて

Swiの最新バージョンで異なる署名チェーンの確認SWI-Prolog？

は、私がtest/1を呼び出す場合、このコードは7.5.9で7.5.3-1-g647ce9aが、休憩で動作https://stackoverflow.com/a/44524628?noredirect=1 :-use_module(library(http/http_client)). :-use_module(library(http/http_open)). :-use_module(li

4熱

1答えて

トレースから述語を隠す

トレースから個々の述語を隠す方法はありますか？このようなルールでは： p(<Stuff>) :- q(), p(<ModifiedStuff>); s(), p(<ModifiedStuff>); p(<ModifiedStuff>). 私は例えば、私が唯一p()への呼び出しに興味を持っていますので、トレースからq()とs()を非表示にしたいと

1熱

1答えて

Prolog、/ 1、組み込みシステム述語、SWI-Prolog 7.4.2

SWI-Prolog 7.4.2を使用して、いくつかの組み込み述語の定義を取得しようとしています。具体的には、split_string/4。 explain/1リターン： system:split_string/4 is a built-in predicate Summary: ``Break a string into substrings'' true. listing/1リターン： For