prolog

4熱

3答えて

新しいライブラリは新しいライブラリを使用できる場合にのみ興味深いです。ですから、私はF＃で.netで使用できる新しいライブラリを知りたいです。 F＃がML/OCamlと互換性がある場合、OcamlライブラリはF＃に移植されるか、移植可能です。私は、信号処理/音声認識、ロジックプログラミング/ .NETのSLD解決ライブラリで面白いです。

1熱

2答えて

プロローグを使用しているリストの要素が二重になっていますか？

Prologのリストで偶数を倍にする方法はありますか？例えば： X = [1,2,3,5,4] 結果は次のようになります X = [1,2,2,3 、5,4,4] ありがとうございます！

3熱

1答えて

Prologのルール依存グラフ

Prologプログラムのルール依存グラフをPrologで作成したいとします。たとえば、次のプログラム foo(X) :- bar(X, 0). bar(A, B) :- quux(A), coox(B). baz. は（assertを使用することによって）真であること、次のような結果になります。 depends(foo, [bar]). depends(bar, [quux, coox]

17熱

2答えて

疑問符、プラス、マイナスProlog変数名より前に

私はこれについての説明を検索しましたが、見つけられませんでした。 Prolog述語の説明で変数名に先行する疑問符、プラス記号、マイナス記号はどういう意味ですか？例： predicate(?Variable1,+Variable2,-Variable3)

2熱

1答えて

（swi）プロローグのようなless-likeページャ

unixの典型的なワークフローは、lessのようなページャで終わるフィルタのパイプラインを使用することです。例えば。今 grep | sed | awk | less を（引数を省略）、SWI-プロローグのコマンドラインでの一般的なワークフローの一つは、それは容易に私を与え foo(X),bar(X, Y),qux(buz, Y). のように与えられた組み合わせのためのソリューションのセッ

-1熱

1答えて

プロローグで文字列を操作する

私は操作と書き出しが必要な攪拌のリストを持っています。 H |テイル再帰で文字列を取得します。 FOO バー： Hは "声明（FOO、foo2は、foo3、foo4、foo5）" 私は唯一のfooを書き出すことができるようにしたい、foo2は、別の行にfoo3 アウトのようになります。 foo2は ... ... DIV：foo5コードへ

0熱

3答えて

プロローグが...リスト

私はリストの上に関係を定義しようとしている内部のリストを統一 ?- matrix_items([[a,b],[c,d],[e,f]],Rs). Rs = [a,b,c,d,e,f]. % expected result これまでのところ、私はこのような何かをすることができました。残念ながら、それはすべての要素を追加していません。すぐにあなたから聞い sift([],_).

1熱

3答えて

Prolog's ===機能

Prolog's = ..を使用すると、f(x),g(x)のようなものを[f,x,g,x]から得ることは可能ですか？私はH =.. [f,x,g,x]を使ってf(x,g,x)を得ることができますが、これは私が望むものではありません。これが愚かな質問であるか、私が間違っているか何かを使用している場合は、お詫び申し上げます。誰もが、.. =の使用を説明する良いウェブサイトを知っていますか？

1熱

2答えて

ACとBCの日付を比較します

私はプロローグの実装を使用しています。これにより、13のAllenの関係のプロローグベースの表現を使用してイベントの時点を比較できます。各イベントには開始点（YYYY-MM-DD）と終了点（YYYY-MM-DD）があり、2つのイベントが同時に発生したかどうか、または1つ前のイベントかどうかを確認することができます。 1555-12-03は1555-12-04の前です）。それはいわゆるAC日付（An

6熱

4答えて

AndroidとProlog

私はPrologにエキスパートシステムを構築しました。アプリケーションが引数を取ってPrologエキスパートシステムに渡し、エキスパートシステムがAndroidアプリケーションに答えを返すように、PrologコードをAndroidアプリケーションに組み込む方法はありますか？