Source code examples for this talk:
Solves various logic puzzles using a variety of approaches and tools. Some of the examples use various DSL techniques to provide a friendly readable layer above the underlying tool/library api.
There are some cranes and tortoises. They are 7 in total, and their legs are 20 in total. How many cranes and tortoises are there?
This is a basic "hello world" puzzle. It is solved using:
- Choco using the native api
- Choco using the JSR-331 api
- Drools Expert natively
- Drools Expert beneath a Drools DSL
- Drools Expert beneath a Groovy DSL
- JSetL using the JSR-331 api
- Constrainer Light using the JSR-331 api
- Constrainer Light with special JSR-331 Groovy syntax
- OrTools constraint solving library
- Cream constraint solving library
This puzzle is inspired by this xkcd webcomic:
It is solved using:
There are five houses painted five different colors. A person with a different nationality lives in each house. The five house owners each drink a different beverage, play a different sport, and keep a different pet. Who owns the fish?
- The man from the center house drinks milk
- The Norwegian owns the first house
- The Dane drinks tea
- The German plays hockey
- The Swede keeps dogs
- The Briton has a red house
- The owner of the green house drinks coffee
- The owner of the yellow house plays baseball
- The person known to play football rears birds
- The man known to play tennis drinks beer
- The green house is on the left side of the white house
- The man known to play volleyball lives next to the one who keeps cats
- The man known to keep horses lives next to the man who plays baseball
- The man known to play volleyball lives next to the one who drinks water
- The Norwegian lives next to the blue house
It is solved using:
- prolog directly (for comparative purposes)
- prolog underneath a Groovy DSL
- the Choco constraint solving library beneath a Groovy DSL
- the JaCoP constraint solving library beneath a Groovy DSL
The interesting thing to note is that the "business rules" are the same for each DSL solution. The "DSL helper code" would typically be hidden from the user.
Choco and JaCoP offer similar features as far as this problem is concerned. Given that the JaCoP package isn't available in a public Maven repository and has a restrictive GPL license, we have a preference for Choco for this example; but see the respective documentation of the two packages to see which better suits your needs. Follow the instructions in the JaCoP directory for downloading the needed jars if you want to try it. The other examples should run automatically.