Dinesman's multiple-dwelling problem: Difference between revisions
Content added Content deleted
Line 2,611: | Line 2,611: | ||
if Baker=Cooper or Baker=Fletcher or Baker=Miller or Baker=Smith then =true:exit |
if Baker=Cooper or Baker=Fletcher or Baker=Miller or Baker=Smith then =true:exit |
||
if Cooper=Fletcher or Cooper =Miller or Cooper=Smith then =true:exit |
if Cooper=Fletcher or Cooper =Miller or Cooper=Smith then =true:exit |
||
if Fletcher=Miller or Fletcher=Smith or Miller=Smith then |
if Fletcher=Miller or Fletcher=Smith or Miller=Smith then =true:exit |
||
if Miller<Cooper or abs(Cooper-Fletcher)=1 or |
if Miller<Cooper or abs(Cooper-Fletcher)=1 or abs(Smith-Fletcher)=1 then =true:exit |
||
} |
} |
||
all=amb(Any, failure, Baker, Cooper, Fletcher, Miller, Smith) |
all=amb(Any, failure, Baker, Cooper, Fletcher, Miller, Smith) |