Recent questions tagged request

0 votes

3 answers

Document how defn/implicit do with multiple goals does not work

asked Aug 5, 2016 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

Add non-interleaving version of conde

asked Dec 21, 2014 in core.logic by jira

0 votes

3 answers

Guard against arity missmatches between rels, facts and retractions

asked Dec 11, 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

Switches on literals should happen via `case` not `cond`

asked Jun 25, 2013 in core.match by jira

0 votes

4 answers

Allow tying multiple noms in one binder

asked Jun 10, 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

9 answers

Allow unification with sequential in both directions

asked Mar 24, 2013 in core.logic by jira

0 votes

2 answers

Decomplect the narrowing of the constraint space from the search order

asked Dec 27, 2012 in core.logic by jira

0 votes

3 answers

asked Nov 23, 2012 in core.match by jira

0 votes

10 answers

ex* could expand macros in patterns

asked Jul 19, 2012 in core.logic by jira

0 votes

3 answers

Logic Threading Macro

asked May 13, 2012 in core.logic by jira

0 votes

1 answer

Implement (p|q)ba heuristics

asked Sep 4, 2011 in core.match by jira

Page:

« prev
1
...
19
20
21
22
23
24
25
...
71
next »

Recent questions tagged request

...