Prolog + Falsehood Ch. 1-5 page 5 full