Most answered questions in core.logic

0 votes

1 answer

Running rembero returns :- (!= _0 _0)

asked Dec 6, 2016 in core.logic by jira

0 votes

1 answer

Example of unifier on wiki uses wrong syntax?

asked Jan 11, 2016 in core.logic by jira

0 votes

1 answer

Extending IUnifyTerms doesn't work anymore

asked Dec 16, 2015 in core.logic by jira

0 votes

1 answer

Disequality might not eliminate when `(!= (_0 _0))`

asked Dec 6, 2015 in core.logic by jira

0 votes

1 answer

LCons fails for inequality

asked Aug 11, 2015 in core.logic by jira

0 votes

1 answer

StackOverflowError when logic variable is unified with a set

asked Aug 3, 2015 in core.logic by jira

0 votes

1 answer

The docstring of condu is incorrect or at least confusing

asked Jul 28, 2015 in core.logic by jira

0 votes

1 answer

Replacing Marker Interfaces

asked Jul 24, 2015 in core.logic by jira

0 votes

1 answer

Allow partial matching of keys not existing in a map

asked May 20, 2015 in core.logic by jira

0 votes

1 answer

Add non-interleaving version of conde

asked Dec 21, 2014 in core.logic by jira

0 votes

1 answer

run macro should take * in addition to n

asked Nov 26, 2013 in core.logic by jira

0 votes

1 answer

dcg: def--> ClassCastException

asked Aug 23, 2013 in core.logic by jira

0 votes

1 answer

compile time occurs check for pattern matching

asked Jun 25, 2013 in core.logic by jira

0 votes

1 answer

add mod/rem/abs/min/max

asked Apr 2, 2013 in core.logic by jira

0 votes

1 answer

Allow application again in pattern matches

asked Jan 1, 2013 in core.logic by jira

Page:

« prev
1
2
3
4
5
next »

...