Here's a blast from the past - I just found this on an old backup disk. It's a prolog interpreter in Objective-C that I wrote in 1993. I was unemployed and bought a NeXSTation with the small amount of redundancy money I got after the company I worked went bust.. as they do ho, hum.. But I subsequently presented it to a company short of a NeXTSTEP programmer, and got a job. So it has great 'sentimental value' I suppose. Welcome to the world of proof trees, WAM interpreters, backtracking, and other strange long forgotten stuff!
What about a google summer of coding idea for porting this engine to ruby with a Korundum front end? This code is available under a 'do what the hell you like with it' license 
Prolog interpreter in Objective-C
»
- richard dale's blog
- Login or register to post comments
- 444 reads
Syndicate Blogs
Well, why not do so for SWI-Prolog
I mean, not to put down your work... but AFAIK, SWI-Prolog does have a fair amount of followers and is distributed with a couple of distro's... And you might ask Jan Wielemaker if he has a couple of ideas in this respect.
Re: Well, why not do so for SWI-Prolog
It's much easier to understand this object oriented code than the SWI runtime. And so it's more educational if you want to learn how prolog interpreters work.
It would be nice to have a ruby extension which mapped nicely onto a prolog style domain specific language. The problem with prolog interpreters like SWI has been that they don't interface with the outside of world of dynamic languages well, and tend to want to 'stand alone'.