Prolog + Falsehood Ch. 1-5 page 3 full