S

stis-parser

This is a parser combinator framework with backtracking and logical variables and a small logic programming framework.