logicalProgramming featuring the logicalOctopus
the Logical Octopus