Parsec-Prolog Introduction Parsec-Prolog is a set of parsec combinators to parse Prolog programs. Features Currently the library supports: parsing of clauses, facts, goals and commands. quoted atoms used-defined operators taking into account op directives.