tomhanika / conexp-cljLinks
A General-Purpose Tool for Formal Concept Analysis
☆58Updated 2 months ago
Alternatives and similar repositories for conexp-clj
Users that are interested in conexp-clj are comparing it to the libraries listed below
Sorting:
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆42Updated 7 months ago
- Build OWL Ontologies in a Programmatic Environment☆267Updated last year
- Java library based on the VLog rule engine☆34Updated 4 months ago
- A NREPL client for Protege☆12Updated 10 years ago
- explorations in core.logic☆118Updated last year
- The SWI-Prolog RDF store☆32Updated last week
- RDF, SPARQL and OWL for Clojure☆140Updated 9 months ago
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆30Updated 2 months ago
- A simple linked data tool☆37Updated 5 years ago
- microKanren implementation from DLS '16☆14Updated 7 years ago
- An embedded language for probabilistic programming and meta-programming.☆170Updated 3 years ago
- ClioPatria provides an RDF application platform☆57Updated 2 weeks ago
- SWI-Prolog web server sources for www.swi-prolog.org☆19Updated 3 weeks ago
- Executable version of Structure and Interpretation of Classical Mechanics.☆40Updated 3 years ago
- Linked Data & RDF Manufacturing Tools in Clojure☆195Updated last year
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- SPARQL DSL library for Clojure(Script)☆59Updated 10 months ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆113Updated 6 years ago
- ☆48Updated 2 months ago
- Probabilistic miniKanren☆67Updated 10 years ago
- Calysto Hy, a Jupyter kernel for Hy using MetaKernel☆109Updated 2 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆79Updated 2 months ago
- A Jupyter Kernel for SWI-Prolog☆25Updated 7 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Natural Language Parsing and Feature Generation☆38Updated 11 months ago
- GNU APL native interop for Clojure☆29Updated 3 years ago
- debugging biological networks to reach coherence, completeness and consistency☆47Updated last year
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- Clojure bindings for Scryer Prolog☆17Updated 9 months ago