Oh and of course AND and OR parallelism.
On Tue, Dec 11, 2012 at 5:44 PM, David Nolen <dnolen.li...@gmail.com> wrote: > 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
