Prolog + Falsehood Ch. 1-5 page 9 full