support for defaults in the simple unifier

0 votes

asked Nov 19, 2012 in core.logic by jira

There should be a way to specify a logic var with default values. If it is not unified with something it should unify with the default provided value.

request
jira

Please log in or register to add a comment.

Please log in or register to answer this question.

1 Answer

0 votes

answered Jun 26, 2019 by jira

Reference: https://clojure.atlassian.net/browse/LOGIC-70 (reported by dnolen)

Please log in or register to add a comment.

Welcome to Clojure Q&A, where you can ask questions and receive answers from members of the Clojure community.

Categories

All categories
Clojure (1.5k)
ClojureScript (612)
ClojureCLR (26)
Contrib libs (726)
- algo.generic (3)
- algo.monads (4)
- core.async (112)
- core.cache (19)
- core.contracts (5)
- core.logic (66)
- core.match (44)
- core.memoize (8)
- core.rrb-vector (13)
- core.typed (33)
- core.unify (7)
- data.avl (1)
- data.codec (3)
- data.csv (12)
- data.finger-tree (1)
- data.fressian (6)
- data.generators (3)
- data.int-map (17)
- data.json (18)
- data.priority-map (4)
- data.xml (24)
- data.zip (4)
- java.classpath (2)
- java.data (12)
- java.jdbc (3)
- java.jmx (6)
- math.combinatorics (5)
- math.numeric-tower (1)
- replicant (0)
- test.check (45)
- test.generative (2)
- tools.analyzer (8)
- tools.build (29)
- tools.cli (8)
- tools.deps (120)
- tools.deps.graph (2)
- tools.emitter.jvm (7)
- tools.gitlibs (4)
- tools.logging (6)
- tools.macro (8)
- tools.namespace (29)
- tools.reader (11)
- tools.tools (2)
- tools.trace (5)
Tools (74)
Meta (19)
Other (93)

Maintained by Cognitect on behalf of the Clojure community

...

support for defaults in the simple unifier

Please log in or register to add a comment.

Please log in or register to answer this question.

1 Answer

Please log in or register to add a comment.

Related questions

Categories