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: 1 created and 0 resolved

Issues: Updated recently

  • Defect LOGIC-184 Last Monday 7:50 AM requiring pldb issues warning about referring to indexed?
  • Defect LOGIC-183 19/Apr/17 The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq
  • Defect LOGIC-182 15/Jan/17 An lvar unified with a keyword behaves differently from a keyword

Activity Stream