LC++ is a library for logic programming in C++. Using LC++, C++ programmers can write declarative, Prolog-like code in their C++ programs.
Here is a quick look at what it looks like to write LC++ code. Look at this short tutorial for more information about the details.
Here is a paper describing the library.
You can download LC++ here.
You also need to download FC++ (v1.5) to use LC++.
Both libraries are just sets of C++ header (
.h) files that
you need to
LC++ is built atop the FC++ library.