crew_rk.lp4: Crew allocation with symmetry breaking (thanks to Roland Kaminski).combinatorial_auction.lp4: Combinatorial auction.combinatorial_auction.lp: Combinatorial auction.coloring.lp4: Simple map coloring problem.coloring.lp: Simple map coloring problem.coins_of_the_realm.lp4: Coins of the realm (Martin Gardner).coins_grid.lp4: Coins puzzle (Tony Hurlimann).coins_grid.lp: Coins puzzle (Tony Hurlimann).coins3.lp4: Coin problem: Minimum mumber of coins that allows one to exactly pay any amount smaller than one Euro.coins3.lp: Coin problem: Minimum mumber of coins that allows one to exactly pay any amount smaller than one Euro.clique_data4.lp (a random graph of size 100).bus_scheduling_csplib_data_r5a.lp4: r5a.bus_scheduling_csplib_data_r1a.lp4: r1a.bus_scheduling_csplib_data_c1a.lp4: c1a.
#Prolog program for block world problem driver
bus_scheduling_csplib.lp4: Bus driver scheduling (CSPLib problem #22).Problem instances from CSPLib problem #22: bus_scheduling_csplib.lp: Bus driver scheduling (CSPLib problem #22).bus_scheduling.lp4: Scheduling the number of buses for 6 days (from Taha "Operations Research").bus_scheduling.lp: Scheduling the number of buses for 6 days (from Taha "Operations Research").building_blocks2.lp4: Building Blocks puzzle (Dell Logic Puzzles), faster version.building_blocks2.lp: Building Blocks puzzle (Dell Logic Puzzles), faster version.building_blocks.lp: Building Blocks puzzle (Dell Logic Puzzles).averbach_1.4.lp: Seating problem, example 1.4 in Averbach & Chein "Problem Solving Through Recreational Mathematics".assignment.lp4: Assignment problem (from Winston "Operations Research").
![prolog program for block world problem prolog program for block world problem](https://cdn.shopify.com/s/files/1/2988/4062/products/9280_MentalBlox_Box-Pieces_1024x1024.jpg)
![prolog program for block world problem prolog program for block world problem](http://3.bp.blogspot.com/-n-fFzxKXRPI/UTR0PXXrIoI/AAAAAAAAAww/zTrwIrkE8kY/s1600/11.jpg)
alldifferent_except_0.lp4: Alldifferent except 0.alldifferent_except_0.lp: Alldifferent except 0.all_interval.lp4: All interval problem (CSPLib problem #7).all_interval.lp: All interval problem (CSPLib problem #7).a_round_of_golf.lp4: A round of gold (Dell Logic Puzzles).a_round_of_golf.lp: A round of gold (Dell Logic Puzzles).3_jugs.lp4: 3 jugs problem (as a graph problem).3_jugs.lp: 3 jugs problem (as a graph problem).The encodings ported to Gringo 4 has extension. See Common constraint programming problems for a list of different implementations.Īll are written in Gringo/Clingo/clasp, but should be quite easy to convert to other ASP systems, e.g. Almost all of of them have also been done in some Constraint Programming system, for example MiniZinc. Also see Potasssco Labs, and Potassco Wiki Potassco Answer Set Solving Collection, includes clasp, Gringo, Clingo, and other tools.Teaching Answer Set Programming (Potassco teaching material for Answer Set Programming).Collection on Answer Set Programming (ASP) and more (Torsten Schaub).It's quite theoretical but also contains a lot of encoding examples. The book Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral (2003, Cambridge University Press, ISBN: 9780521147750).
![prolog program for block world problem prolog program for block world problem](https://i1.rgstatic.net/publication/221535720_T_ASP-PROLOG_A_system_for_reasoning_about_answer_set_programs_in_Prolog/links/0f317533194a3a0b02000000/largepreview.png)
![prolog program for block world problem prolog program for block world problem](https://joeybabcock.me/blog/wp-content/uploads/2016/10/block-editor-1024x640.png)