There's not a list of features so much as a list of improvements I would like to make. Some medium to big project ideas:
- CLP(Set) - Improvements to tabling (currently a lot of redundant information is recorded) - Negation (based on CiaoProlog work) - Environment Trimming (to make the Definite Clause Grammar feature much more efficient) Not sure when I'll get to these - there is a considerable amount of interesting optimization work to be done on the current CLP(FD) implementation and surrounding CLP infrastructure. If there's some Prolog feature / predicate you'd like to see bring it up and it will be considered. David On Tue, Dec 11, 2012 at 1:56 PM, JvJ <kfjwhee...@gmail.com> wrote: > Is there a list of features that you'd like to implement that core.logic > doesn't have yet? > > > On Tuesday, 11 December 2012 00:52:24 UTC-5, David Nolen wrote: > >> core.logic is still pretty young - some (many?) Prolog niceties may not >> be present. Don't know until you try ;) >> >> >> On Tue, Dec 11, 2012 at 12:29 AM, JvJ <kfjwh...@gmail.com> wrote: >> >>> I have some code that uses Prolog, but I want to get rid of the native >>> dependencies inherent in SWI Prolog/JPL. >>> >>> If I were to switch to core.logic, what would I lose and what would I >>> gain? >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Clojure" group. >>> To post to this group, send email to clo...@googlegroups.com >>> >>> Note that posts from new members are moderated - please be patient with >>> your first post. >>> To unsubscribe from this group, send email to >>> clojure+u...@**googlegroups.com >>> >>> For more options, visit this group at >>> http://groups.google.com/**group/clojure?hl=en<http://groups.google.com/group/clojure?hl=en> >>> >> >> -- > You received this message because you are subscribed to the Google > Groups "Clojure" group. > To post to this group, send email to clojure@googlegroups.com > Note that posts from new members are moderated - please be patient with > your first post. > To unsubscribe from this group, send email to > clojure+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/clojure?hl=en > -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
