core.logic

core.logic

Summary

Description

A Logic Programming library for Clojure.

Issues: Due

  • Defect LOGIC-99 StackOverflow for large `appendo`
  • Defect LOGIC-114 stack overflow with conda/u
  • Defect LOGIC-117 one-shot constraints with multiple rands may run more than once

Issues: 30 Day Summary


Issues: 2 created and 1 resolved

Issues: Updated recently

  • Enhancement LOGIC-165 Yesterday 2:13 PM Add non-interleaving version of conde
  • Enhancement LOGIC-164 Yesterday 2:12 PM Guard against arity missmatches between rels, facts and retractions
  • Defect LOGIC-118 24/Nov/14 prep does not make lvar of ?x if ?x is in a vector

Activity Stream