sicstus-prolog

1熱

1答えて

にのみ、最初の結果を追加し、私はいくつかのものを事前計算し、私のプログラムの冒頭で事実として結果を保存しようとしている：（簡略化されたコード） :- dynamic cost/2. %recipe(Id,Cost) recipe(1,20). recipe(2,40). assert_all :- recipe(Id,Cost), assert(cost(Id,Cost)). しかし

2熱

1答えて

SICStusプロローグ：JITによって

更新影響を受ける統計/ 2値：@PerMildner、（。SICStusプロローグ4.3で存在）以下の問題が報告されているようには新しいSICStusプロローグ4.3で消えました。！行きましょう！ :- use_module(library(lists)). a_is_b_minus_c(A,B,C) :- A is B-C. call_keys_deltas(Goal_0,

3熱

1答えて

代替SICStusプロローグFFI SP_define_c_predicate（）

私はそのままで—と... SICStusプロローグ4.3.3 SP_define_c_predicate()サンプルを貼り付けたがを失敗しました： $ /usr/local/sicstus4.3.3/bin/splfr square.pl square.c square.c: In function ‘square_it’: square.c:7:3: error: unknown typ

1熱

1答えて

私はどのようにバージョン情報を追加することができます。ビルド.exeファイルを使用してspld SICStus

私は私のPrologプログラムを構築するために使用される次のバッチプログラムがあります。 set /p VERSION="Enter Version:" call "c:\Program Files (x86)\SICStus Prolog VC12 4.3.2\bin\sicstus.exe" -l build_program.pl -a %VERSION% call "C:\Progra

0熱

1答えて

SPIDER IDEを使用してSICStusでPrologをコンパイルするときのエラー

Eclipse用のSICStus PrologおよびSPIDER IDEプラグインをインストールしました。アップデートサイトを使用してSPIDERをインストールしました。プリファレンスにSICStusインストールパスを設定して検証しました。は、それから私は、新しいワークスペースのみ、以下のファイルtest.plが含まれているPrologのプロジェクトを作成しました： test :- write

5熱

1答えて

Prolog-ファイルからライブラリをロードする

Sicstusのマニュアルには、これを使用してライブラリをロードすると書かれています： use_module（library（Package））。これはコマンドラインのPrologで動作しますが、Prologソースファイルからライブラリを読み込む方法がわかりません。私が "use_module（library（Package））"をインクルードするとき。私の.plファイルで、パーミッションエラー

1熱

1答えて

SICStus Prologは変更を無視します

私はかなりプロローグに新しいです。 SICStusを使用して、すでに相談されているファイルを変更すると、SICStusは変更を認識しません。唯一の方法は私が窓を閉じてもう一度始めることです。しかし明らかに、これは、ファイルを変更するたびにウィンドウを閉じることは迷惑ではなく時間を無駄にするだけでは実用的ではありません。私はSicstus 4.2.1、Windows版を使用しています。これまでは、c

1熱

2答えて

sictus prolog plファイルウィンドウからスタンドアロンexeファイルを作成

別のコンピュータで実行するexeファイルとしてエクスポートしたいsictusプロローグファイル（.pl-file）があります。 SICSドキュメントを検索してspldで遊んでいると、antoherコンピュータ（Windows XPを実行している）で動作しなかったexeファイルがありました。私はWindows 7 professional（x64）でSicstusを使用していますが、sicstus

0熱

1答えて

コメント文字列をsicstus-prologのASCII文字リストに変換する

現在、私はSICStus3とSICStus4の比較に取り組んでいますが、SICStus4はコメント文字列にキャリッジコントロールやタブ文字などがある場合は何も調べません下記のとおり。以下の例のように、カンマ区切り記号付きの3つの引数があります。 case('pr_ua_sfochi'," Response: answer(amount(2370.09,usd),[[01AUG06SFO UA

2熱

2答えて

in_set/2制約を使用する

制約Xをリスト内の値にしないようにしようとしています。 SICStus Prolog manualから： ?X in_set +FDSet でも、私はFDSetにリストを変換する方法を見つけ出すことはできません。私は整数のリスト[2,3,8,9]を持っていて、変数Xのドメインをそのリストに入れないようにしたいと思います。それ、どうやったら出来るの？ありがとう。