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
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).
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
participants (2)
-
Bruno Dutra -
Ganesh Prasad