Logic Programming in C++

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 #include.

Related links

LC++ is built atop the FC++ library.


FC++ is being developed by Brian McNamara and Yannis Smaragdakis. Feel free to write to us if you have questions or comments about the library; we appreciate feedback from our users.
Last updated on Aug 22, 2003 by Brian McNamara