Boost logo

Boost Users :

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-----


Boost-users list run by williamkempf at hotmail.com, kalb at libertysoft.com, bjorn.karlsson at readsoft.com, gregod at cs.rpi.edu, wekempf at cox.net