Thanks. I can't think of a feature at the moment. I'm just trying to
decide between the two. I'm working on a rule engine/DSL for game AI and
I'm trying to make a decision... but I still haven't worked out all the
requirements.
On Tuesday, 11 December 2012 17:45:40 UTC-5, David Nolen wrote:
Oh and of course AND and OR parallelism.
On Tue, Dec 11, 2012 at 5:44 PM, David Nolen 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 info
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 Cl
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, 2
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 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 switc
