Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in clojure-core.logic

How do you use core.logic in a practical way in a larger Clojure program?

Clojure.logic difference with The Reasoned Schemer

Prolog matching vs miniKanren unification

distincto vs. fd/distinct in core.logic

Goal ordering in Clojure's `core.logic`

How to solve math equations using core.logic

How do I connect clojure core.logic to a database?

How similar are Relational Database Languages and Logic Programming?

What syntax core.logic matche, defne pattern matching constructs use?

Eliminating duplicate results when querying a family tree with core.logic

Partial Dictionary/Record Unification?

How to simulate an 'outer join' in core.logic?

Expressing that a specific subset of X's have property Y in core.logic

conda, condi, conde, condu