Now that we are rather well ahead with the phoenix library, I propose to develop a compile-time Logic Programming library for boost. I understand that a handful of months during GSoC15 are not enough for developing a complete and usable library, but the foundations of the library can be laid during this GSoC. I have some experience with writing a small compile-time library for functional programming with a LISP like syntax. That can be found at https://github.com/GnsP/GNS--META_LISCPP . Currently I am trying to identify the requirements for a decent compile-time logic library. If it could be acceptable as a GSoC project (I don't know, the idea is pretty big one for 3 months), I'll be back with an initial design of the proposed library. Best Wishes Ganesh Prasad PS I had been planning on this library since last year, I am positive that this project is feasible (though Logic programming would require non-determinism, it can be handled to some extent with template metaprogramming, I'm still working on it).
I don't know for GSoC, but regardless, that is a really interesting idea, in fact I've been working on a very similar project for some time now, only my inspiration is prolog rather than lisp. I've already managed to develop a pretty solid compile time implementation of the unification algorithm and also working version of the SLD resolution, so in the past months I've been rather focusing on improving performance by introducing lazy semantics and such. I'm not really sure whether lisp directly relies on these algorithms or not, but perhaps you could find some inspiration in what I've been doing, you should check it out at github <https://github.com/brunocodutra/metalog>. By the way, I like your idea of developing a set of macros to make it look more alike lisp, perhaps I should think of something similar for my project. *Bruno C. O. Dutra* 2015-02-11 21:23 GMT-02:00 Ganesh Prasad <sir.gnsp@gmail.com>:
participants (2)
-
Bruno Dutra -
Ganesh Prasad