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

From: Frank Mori Hess (frank.hess_at_[hidden])
Date: 2008-02-12 17:07:23

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Monday 11 February 2008 06:29 am, Naik, Roshan wrote:
> 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.

I don't know anything about logic programming, and I've only gotten about 1/4 
of the way through the tutorial so far, but I find it quite interesting.  
Thank you for the library.  One criticism I have is the overloading of the 
logical or/and operators, which will create confusion in people reading code 
that uses Castor.  The logical operators have very precise and 
well-understood meaning for any C/C++ programmer, and what Castor uses them 
for definitely isn't it.  I know some other people have very liberal views 
about operator overloading, but they're just wrong :)

Also, the relation class seems to be a bit nebulous, as in it seems to embody 
multiple ideas.  It's a fact, it's a collection of facts, or maybe it's a 
rule too.  This criticism may not be well founded though, as I said before 
I'm not speaking from any experience with logic programming here.

- -- 
Frank
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFHshic5vihyNWuA4URAuDPAJ4u3LSWMJRlBwjBtKIiMfXpTBinlACeKBeT
Nedcwhe7TCuzUPpyujEqdVo=
=WOeF
-----END PGP SIGNATURE-----