hbrouwer / dfs-tools

Related projects ⓘ

Alternatives and complementary repositories for dfs-tools

• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 3 weeks ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆24Updated last week
• MostAwesomeDude / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 5 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆43Updated 9 months ago
• nathanielrb / ftmicroKanren
  First-order temporal logic programming with microKanren
  ☆15Updated 7 years ago
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆14Updated 9 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• npe9 / aop
  Art of Prolog Code
  ☆35Updated 5 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆54Updated 3 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆103Updated 3 months ago
• leonweber / spyrolog
  Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/
  ☆15Updated 4 years ago
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆15Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 5 months ago
• soegaard / metapict
  A graphics library for producing Racket picts in a MetaPost/TikZ style.
  ☆65Updated 3 months ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆21Updated last year
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆69Updated last week
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• aarroyoc / djota
  A Djot implementation in Prolog
  ☆22Updated 10 months ago
• tomhanika / conexp-clj
  A General-Purpose Tool for Formal Concept Analysis
  ☆56Updated 2 months ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆24Updated last week
• triska / proloxy
  Prolog Reverse Proxy
  ☆19Updated 6 years ago
• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆38Updated last year
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• rpgoldman / pddl-tools
  Common lisp library for manipulating PDDL expressions.
  ☆13Updated 4 months ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆62Updated 9 years ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆15Updated 8 years ago