logicalProgramming featuring the logicalOctopus