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