| arv832 2006-02-16, 7:58 am |
| As part of the MasterPiece software we solved a 2D packing problem with
many complex alignment constraints using CLP implemented in IF/Prolog.
See http://www.ifcomputer.de for details.
Overall, I would not try to solve such a problem without CLP. In CLP a
no-overlap constraint between each 2 objects in 2D and also for 3D
packing can be expressed using a cardinality/2 constraint...
Then when objects are assigned positions as part of an optimisation
search CLP will propagate assignments to check other object constraints
in the 2D/3D space.
If you have more than 10 objects then you will have a great deal of
difficulty
in finding a good solution in a reasonable time in Prolog.
Of course you should look at IF/Prolog to implement your system as
well.
See http://www.ifcomputer.de/Products/Prolog/home_en.html
Regards
Andrew Verden
|