Dumb attempt to create type-safe logic programming with C++ TMP
Primary LanguageC++MIT LicenseMIT
An attempt to create a type-safe logic programming library for C++, based of Prolog.