This document summarizes the changes across different versions of the LC++ library.
The initial release of LC++ lays the basic foundation for logic programming in C++. This includes:
LogicVariable
or the
DECLARE
macro) and the "don't care" logic variable
(underscore: _
)Functor
or the
FUNn
macros)lassert()
function for adding facts to the
respositoryquery()
functions for running queriesnot_provable()
predicatefail
and
succeed
QRT
type computeris()
method for logic variables to do
computationThere are a number of practical necessities still missing, including: