[Boost-users] Support for the Logic paradigm in C++ (with Castor)

From: Naik, Roshan (roshan.naik_at_[hidden])
Date: 2008-02-11 06:29:32

This library (Castor) may be of interest to the "paradigm redefining" Boost community also ...
-Roshan Naik

------------------------------------------------------------

Castor is a pure C++ Library that introduces the Logic paradigm (LP) into C++. Although
LP has been well explored in Computer science, it remains under utilized in main stream
software development due to lack of support in popular programming languages. Among the
few languages that do support it, Prolog is perhaps the most commonly known.

Instead of attempting to embed a Logic interpreter or other heavy weight engine into C++,
Castor integrates LP using a few simple library primitives. This unique approach
allows a natural and deep integration of declarative code into the language, and
also provides the flexibility of combining Logic with other paradigms natively supported
by C++ such as OOP, generics etc. STL concepts like iterators ,containers and streams
can also be used in declarative code.

Castor is an open source library distributed under the MIT license
(http://www.opensource.org/licenses/mit-license.php). It is relatively small (under 5k LOC)
and can be downloaded for free from http://www.mpprogramming.com

For an introductory tutorial on LP and understanding its use in C++ refer to
http://www.mpprogramming.om/resources/CastorTutorial.pdf

Feedback, comments and contributions are welcome.