A tokenizer and parser for a simplified Prolog dialect.