/logic_in_cpp

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

Primary LanguageC++MIT LicenseMIT

This repository is not active