Title: Simply logical
Subjects: Artificial intelligence, Data processing, Prolog (Computer program language), Reasoning, Symbolic and mathematical Logic, Logic, symbolic and mathematical