Emden, Lloyd, 1984. A logical reconstruction of Prolog II.. https://doi.org/10.1016/0743-1066(84)90001-3