A non-complete parser for the Prolog programming language