問題タブ [visual-prolog]

私の仕事は次のとおりです。自然項の量で正の整数の分割数を見つけます。例: N=5。5: {1,1,1,1,1}, {2,1,1,1}, {2,2,1}, {3,1,1}, {3,2} であるため、答えは 7 です。 、{4,1}、{5}

私はJSで解決策を書きました：

しかし、今はPrologを使って書こうとしていますが、pcount(number, limit - 1) + pcount(number - limit, limit);ステートメントにはいくつかの困難があります.

これが私のコードです：

しかし、うまくいきません。この述部でのエラー: check(Number,Limit,Result)。述語の 2 つの呼び出しの結果を結合するにはどうすればよいcheck(Number, Limit-1)+check(Number-Limit,Limit)ですか?

以下のような家系図があります。

そして、私は私の事実を次のように持っています：

そして、親を定義するルールがあります。

そして、父と母を定義するためのルールも。

兄弟のルールを次のように定義すると、問題が発生します

クエリを使用して実行します

結果は次のようになります

このクエリの結果を 1 つだけ持ってくるように求められました。正しい質問を検索できません。解決策がある場合は、それを提供するか、Prolog がこのように機能する理由を教えてください。

Prolog でエラー 1010 が表示されます。

Maximum number of anyflow variants (1000) exceededこのコードを実行しようとすると、次のエラー メッセージが表示されます。

この回答からコードを実行しようとするときも同じです: https://stackoverflow.com/a/6671142/4829408

私は機能を持っています：

リスト内のすべての要素を返します。

しかし、最初の引数が1要素のリストである場合、なぜ何も返さないのか（私の意見では、[] - 空のリストを返さなければならない）が不思議です。例：

リストにいくつかの数値を追加しようとしています。これらの数値は、X が下限で上限がからXまでの範囲にあり、生成されたこれらの数値をリストに保存します。私はこれを試しました：YY

しかし、目標をテストすると、「解決策はありません」と表示されます。私は何を間違っていますか？ご助力ありがとうございます。