Logic Programming In Cpp

LogicProgrammingInCpp (LC++) is a program structure in CeePlusPlus (a header) written using FunctoidsInCpp (FC++) by the same authors. It implements LogicProgramming in CeePlusPlus.

http://people.cs.umass.edu/~yannis/lc++/

There is a paper Logic Programming in C++ with the LC++ Library by Brian McNamara and Yannis Smaragdakis which explains this and gives examples. http://people.cs.umass.edu/~yannis/lc++/paper.pdf

Inspection of the paper reveals that the query mechanism uses ContinuationPassingStyle.

The authors are not further developing it currently. This means that the main limitations which they identify in their paper have remained in that version. I have done some work towards resolving these as follows.

This I hope increases the usefulness of this code. -- JohnFletcher

Mentioned in OoppExploringTheMultiparadigmShift.
I am wondering if I could use this to do DeclarativeMetaprogramming.
CategoryCpp CategoryMultiparadigm CategoryCppTemplates CategoryFunctionalProgramming


EditText of this page (last edited December 28, 2013) or FindPage with title or text search