名刺印刷 - 一種のナップザックタスク

Question

私はPrologを初めて使用しています。これは先週の金曜日に起きた現実世界の問題で、これはCS宿題ではないと私に信じています。

名刺を印刷したい場合は、900枚（1枚あたり9枚のカードで100枚）のブロック単位で印刷することができます。誰のためのカードもいくつかのブロックに分散してはいけません。人々はEG、カードの異なる量を命じ：

% "braucht" is german and means "needs" 
braucht(anton,400). 
braucht(berta,200). 
braucht(claudia,400). 
braucht(dorothee,100). 
braucht(edgar,200). 
braucht(frank,400). 
braucht(georg,100). 

私は900枚の名刺の適切なブロックを見つけるために、次の定義をまとめ：

block(0,[]). 
block(N,[H|T]) :- 
    braucht(H,Nh), 
% \+(member(H,T)), 
    D is N - Nh, 
    D >= 0, 
    block(D,T). 

これは、カードの人々のブロックの素敵なリストを作成します900枚のカードブロックに一緒にフィットする。しかし、私はコメント行 "+ + member ...."を有効にして、私に "false"を与えても動作しなくなります。しかし、私は誰もそのブロックに何度も出くわしていないことを保証する必要があります。私はここで間違って何をしていますか？

Answer 1

達成したいのは、Hがリストの末尾Tに表示されないという制約を設定することです。ただしを呼び出すとはまだバインドされていないので、member(H, T)が成功し、したがって\+ member(H,T)が失敗します。

制約プログラミングを使用せず、代わりに純粋なPrologを使用する場合は、別の方向のチェックを使用して、Hが既にそのポイントまで集約された人のリストに存在するかどうかを確認する必要があります。何かのように：

block(0, List, List). 
block(N, Rest, List) :- 
    braucht(H, Nh), 
    \+(memberchk(H, Rest)), % will fail when H is already in Rest 
    D is N-Nh, 
    D >= 0, 
    block(D, [H|Rest], List). 

述語block/3は述語block/2から呼び出すことができます：あなたのブロックの述語で2番目の引数が「出力」の場合

block(N, List) :- 
    block(N, [], List). 

Answer 2

、その後、あなたの問題はTであるということですメンバー（_、T）は常に成功します。例えば：

?- member(anton,T). 

T = [anton|_] 
T = [_,anton|_] 
T = [_,_,anton|_] 

のように...