LPA Prolog