iso-prolog

5熱

1答えて

Prologでエラーチェックを追加する方法を知りたいと思います。 listlen([],0). listlen([_|T],N) :- listlen(T,X), N is X+1. それが起こるとき、「第一引数はリストである必要があります」のように、私はエラーをプリントアウトする方法を：たとえば私はリストがどのくらいありますプログラムがありますか？

3熱

4答えて

プロローグを使用して文字列長を見つける方法

私はリストの長さを与えるメソッドの長さ（リスト、var）を持っていますが、文字列の長さ、

1熱

1答えて

Prolog：演算子を宣言する

私は定義しました！（階乗）関数を作成し、それを算術関数と演算子として登録して、Aが6です！今私は定義したいと思います！（奇数の階乗）ですが、同じように - 節を書くこと、arithmetic_functionとoperatorを登録すること、Aを呼び出すことは7です!! - 結果は SyntaxError：演算子が必要です可能であれば、どうすれば登録できますか？演算子？はい、私は実現しま

2熱

1答えて

Prolog DSLでの多重定義のISOエラー分類

私は、一意でなければならない手続き（本質的に）の名前を使用するDSLを構築しています。 2番目の定義を表すためにどのようなエラー用語を使用するのかは不明です。 exist_error sortaちょっとぴったりですが、私はそれに不快です。それは複数の定義ではなく、定義が不足していることを暗示しているようです。 permission_error（変更、手順、名前/ Arity）は有望そうですが、「一

18熱

1答えて

Javascriptのプロローグシステム

Javascriptは、他のプログラミング言語の実装言語として普及しているようです。記事 Lightweight compilation of (C)LP to JavaScript. ICLP 2012 がこれに私の注意を引いた。 Web上でJavascriptで書かれたPrologシステムのプロトタイプがたくさんあります。 Javascriptで書かれた現在の、積極的に維持されているISO準

3熱

1答えて

幅優先検索の代わりにプロローグ統一が深さ優先検索であるのはなぜですか？

私はちょうどプロローグについて学び始めました。なぜそれがbfsの代わりにdfsであり、それを簡単に変更することができないのか不思議でした。 ISOプロローグはそれを強制しますか？

7熱

1答えて

プロローグ

ヒルグ語（すなわち、任意の用語を持つファンクタを持つ化合物）は、XSBプロローグ（または他のプロローグ）の強力な特徴と考えられていますか？現在この機能を使用しているXSBプロジェクトはたくさんありますか？それらのうちどれですか？ ISOビルトインコール/ Nを使用すると、より高度なプログラミングが同様に可能であることが分かります。具体的には、歴史的な理由からだけXSBがヒロッグ用語を使用してい

1熱

1答えて

一度SICStus Prologに入ったら？

SICStusでonceを使用するにはどうすればよいですか？ SWI Prologの、以下の作品で： test(X, Y, abc) :- once(X == 'true' ; Y == 'true'). しかしSICStusプロローグ、onceでは認識されていないようです。 SICStusでonceに相当するものは何ですか？ありがとうございます。

7熱

1答えて

swi-prologとyapの結果が異なります

サンプルプログラムでは、8つのクイーンソリューションの数を列挙してカウントしています。 [user]. (perm([X|Y],Z) :- (perm(Y,W),takeout(X,Z,W))). perm([],[]). takeout(X,[X|R],R). (takeout(X,[F|R],[F|S]) :- (takeout(X,R,S))). (solve(P) :- (per

6熱

4答えて

2つの変数リストの交差

で実行される2つの変数リストの交差のためのISO Prolog述語をどのように定義するか時間？変数は、任意の決定された順序で現れることができる。変数の「年齢」のような実装依存のプロパティは、結果に影響する必要がありません。 library(ordsets)と同様には、のは、3番目の引数は最初の二つの引数の交差点で統一した出力引数、で、ある関係varset_intersection(As, Bs,