Prolog + Falsehood Ch. 1-5 page 2 full