Showing posts with label Prolog. Show all posts
Showing posts with label Prolog. Show all posts
Thursday, May 29, 2014
Sunday, November 10, 2013
Marelle: sysadmin in Prolog
Marelle allows you to declare packages and dependencies, then derive (and execute) the steps needed to install a given package. Very interesting.
Saturday, October 8, 2011
XSB Prolog
XSB is an open-source, tabled (i.e. memoized) Prolog. It has a Perl binding. It would be interesting to pursue. Very interesting, actually.
Sunday, June 12, 2011
Friday, January 28, 2011
Great presentation of Prolog
Gotta implement this one day. Article on kuro5hin.
Leading to Learn Prolog Now.
Also, SWI-Prolog. And Building Expert Systems in Prolog.
I'd much rather have some really core stuff available in pure Perl that "does Prolog" - with the option to offload a large system into actual Prolog as necessary.
Update March 9, 2011: Kind of like AI::Prolog, for example. Oh, CPAN, is there nothing you can't find for me? Ah, yes, grist for the AI::Declarative mill....
Subscribe to:
Posts (Atom)