/logic_in_cpp

library and examples of how to embed search and logic search (prolog semantics) directly in C++

Primary LanguageC++MIT LicenseMIT

No issues in this repository yet.