Chapter 2 Syntax and meaning of Prolog Programs. 344-302 LP and Prolog Chapter 22 PROLOG domains variable name = type predicates relation(variable name,
