LC++ version history

This document summarizes the changes across different versions of the LC++ library.

Version 1.0

The initial release of LC++ lays the basic foundation for logic programming in C++. This includes:

• Logic variables (declared with LogicVariable or the DECLARE macro) and the "don't care" logic variable (underscore: _)
• Functors (declared with Functor or the FUNn macros)
• The lassert() function for adding facts to the respository
• The query() functions for running queries
• Overloaded operators for conjunction, disjunction, implication
• The not_provable() predicate
• The atomic predicates fail and succeed
• Environments and facades for inspecting results, as well as the QRT type computer
• The is() method for logic variables to do computation

There are a number of practical necessities still missing, including:

• Parametric Polymorphism
• Library of useful functors

as well as some other obvious "wish list" items:

• Support for functors of arity greater than 3
• cut
• efficiency/optimizations

which will hopefully be added in the next version. Nevertheless the library as it stands is sufficiently useful to warrant a release. Hopefully we will get some useful feedback.

---

LC++ homepage