Basic trivia is a small expert system which implements backward chaining rules for the inference process and has a similar behavior to the core example "animals.clp".