Cairn is a general-purpose problem-solving engine that searches for paths through unknown state...