問題タブ [yap]

次の Prolog プログラムを YAP で実行すると、出力は常に同じ、つまり整数 233 になります。

たとえば、次の bash スクリプトを実行すると、出力は常に同じ整数 (233) になります。

swipl を使用してこの手順を繰り返すと、出力は毎回異なります。つまり、ランダムです。

誰でもこれを説明できますか？

リスト内包表記を作成しようとしています。ここにあるものは、SWI Prolog と Jekejeke Prolog で機能しますが、[ <- ] 演算子は Yap で失敗します。理由がわかりません。

between/3、findall/3、maplist/2 は Yap の一部ではないため作成する必要がありました。3 つの自家製の述語は適切に機能すると思います (Jekejeke Prolog では機能します)。

Yap 6.2.2 は [ <- ] 演算子を処理できないようです。演算子の直前の構文エラーを取得します。

DEFINE 演算子:

リスト内包表記用のテンプレートを作成します。

テンプレートを使用して、M から N までの素数のリストを作成します。リストを P として返します。

終わり。

これは特定の質問のようなものですが、Fedora 23 で Yet Another Prolog をコンパイルするための cmake と make を取得できません。Github で最新のリポジトリ YAP 6.3.4 を複製しました。私の友人は、彼の Funto Linux で同じクローンを作成し、cmake を実行して成功しました。Fedora 23 でそれらを実行すると、CUDD ヘッダーが欠落している場合にのみ意味のある奇妙なエラーが発生しますが、CUDD はヘッダー ファイルと共にインストールされます。

cmake で生成された Makefile が、ある Linux システムではコンパイルに失敗し、別の Linux システムではコンパイルに失敗する理由を説明できる十分な経験を誰かが持っていることを願っています。

これは make エラーのサンプルです (cmake で作成された Makefile はエラーなしです)。「不明な」タイプ名は、システムにインストールされている CUDD ヘッダーにあります。ソース ファイル cplint は、CUDD を使用してビルドされることになっています。