http://users.utu.fi/aleokh/whalecalf/

Это парсер для Boolean Grammars
есть доки, исходники для g++