Logic Programming with Prolog