Wednesday, 25 May 2011

Plang documentation and status report

A snapshot of the Plang documentation has been uploaded here.

Plang is coming along nicely.  The core language and builtin predicate set are fairly close to complete.  Performance is being worked on - I added an interpreter for the Warren Abstract Machine to speed up predicate execution (still more to do on that front).

A sample of the cool features that have been implemented to date:

I'm starting to shift my focus to writing applications in Plang to see how well it tackles the traditional logic programming problems of theorem proving and AI.  There's no point building a new language if it doesn't do the job better than the old one, after all.

No comments:

Post a Comment