swi-prolog

3熱

2答えて

SWI-Prologのミューテックスで保護されたクリティカルセクションを作成しようとしており、setup_call_cleanup/3とsetup_call_catcher_cleanup/4を使用しています。私が持っている問題は、私のゴールは、いずれかが失敗する可能性があるの一連の操作であることであり、それは、システムがsetup_call_cleanupの先頭にバックトラックとクリーンアップ

2熱

1答えて

Definite句文法、文字列がcharかどうかをチェックする方法？

それは私には良いようですが、それは常に偽を与える...と私はなぜ得ることができません。 letter(X) --> [C], {"a"=<C, C=<"z", name(X,[C])}. ありがとうございます。

1熱

1答えて

確定節文法、SWI-Prologの7の相違点と古い

はSWIでの検索 :- set_prolog_flag(double_quotes, codes). letter(X) --> [C], {"a"=<C, C=<"z", name(X,[C])}. を働いています-Prologウェブサイト私が見つかりました： Mode--------------double_quotes-----------back_quotes Version 7

0熱

1答えて

pyswipでプロローグ（.pl）ファイルを実行する

pyswipを使用してプロローグファイルを実行し、そのplファイルに書き込まれたいくつかのルールを使用したいとします。これまでは、アサーションの結果をPythonリストにフェッチしてルールをアサートすることしかできませんでした。しかし、どのようにpyswipでplファイルを実行できますか？私はいくつかの文書を見つけました、github、Yuce's Blog、pyswip page私は必要なものを

1熱

1答えて

トリプルのオブジェクトのリテラル値へのアクセス

私はタートルファイルを検証するバリデーターに取り組んでいます。記述されている基数が各オブジェクトに対して正しいかどうかを調べる関数を操作するとき、リテラルの値にアクセスする方法を理解できません。リテラル値はCard=literal(type(xsd:nonNegativeInteger, '1'))（または1^^'http://www.w3.org/2001/XMLSchema#nonNegat

1熱

1答えて

グラフ表現

として、私は次のコードを持っているPrologのクエリ結果を取得します：私は、次の取得結果のグラフを取得するクエリを実行したら edge(a,e). edge(e,d). edge(d,c). edge(c,b). edge(b,a). edge(d,a). edge(e,c). edge(f,b). graph(Graph):-findall(A-B, edge(A,B), L)

1熱

1答えて

source_sink 'ライブラリ（プロセス）'が存在しません

swipl（バージョン7.5.5;完全インストール済み、githubリポジトリからの苦情なし）にサードパーティ製ソフトウェアをインストールしたいと考えました。は今、私は次のエラーを得た：今 ERROR: /usr/local/lib/swipl-7.5.5/library/prolog_pack.pl:52: source_sink library(process)' does not exis

0熱

1答えて

チェック構文プロローグ

に私はCやJavaで記述されたAAプログラムの構文をチェックして返すためにプロジェクトに取り組んでいます。構文は、真または偽あるプログラムいます下の例を確認します。私はそれを書く場合は正しいか間違っている例： for(x=0;x<10;x++) { print("Hello"); } 任意のアイデア？

0熱

1答えて

XPCEでボタンを押した後に関数の結果を出力する方法

XPCEのボタンを押して関数の結果を印刷しようとしています。ここに私のコードは次のとおりです。 /* 11) Max square */ max_square(M, A) :- findall(P, country(A, P, _, _), L), write('Max square in thousands km^2: '), aggregate(max(E),

0熱

1答えて

プロローグでargvを解析する方法

リストをPrologプログラムに渡そうとすると、argvに文字列があります。私は何とかこの文字列からリストを回復するか、リストを渡す方法を見つける必要があります。おかげさまで編集：私はopt_argumentsを試みたが、私はこのエラーを得た：Linuxの "ERROR: validate_opts_spec/1: Type error: flag_value' expected, found