Logic-Programming with PROLOG