Solver

Пример использования Boost.Spirit 2 (семантический парсер) На вход программа получает факты и правила вывода новых фактов, выдавая список новых фактов.