Subject: Re: [boost] [gsoc15] Proposal
From: Bruno Dutra (brunocodutra_at_[hidden])
Date: 2015-02-12 07:36:06
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_at_[hidden]>:
> 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:
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk