Dinesman's multiple-dwelling problem: Difference between revisions
Content added Content deleted
(Added Bracmat) |
|||
Line 18: | Line 18: | ||
: ~(Fletcher ?|? Fletcher) |
: ~(Fletcher ?|? Fletcher) |
||
: ? Cooper ? Miller ? |
: ? Cooper ? Miller ? |
||
: (? Smith Fletcher ?|? Fletcher Smith ?) |
: ~(? Smith Fletcher ?|? Fletcher Smith ?) |
||
: (? Cooper Fletcher ?|? Fletcher Cooper ?) |
: ~(? Cooper Fletcher ?|? Fletcher Cooper ?) |
||
) |
) |
||
& ( solution |
& ( solution |
||
= floors persons A Z person |
= floors persons A Z person |
||
. !arg:(?floors.?persons) |
. !arg:(?floors.?persons) |
||
& ( |
& ( !persons:&constraints$!floors |
||
& constraints$!floors |
|||
| !persons |
| !persons |
||
: ?A |
: ?A |