2008-02-25 P9-14 The Art Of Prolog Book Prolog AI 1 Basic Constructs 1.1 Facts 1.2 Queries 1.3 The Logical Variables, Substitutions, and Instances