Alternatives and similar repositories for dfs-tools:

Users that are interested in dfs-tools are comparing it to the libraries listed below

• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 2 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆55Updated 3 years ago
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆15Updated 2 years ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆25Updated 2 months ago
• ekaf / wordnet-prolog
  Prolog versions of the WordNet databases
  ☆30Updated 11 months ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆21Updated last year
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 4 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated this week
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆34Updated 3 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last month
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆71Updated 2 months ago
• npe9 / aop
  Art of Prolog Code
  ☆35Updated 5 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 2 years ago
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆30Updated last week
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆14Updated 6 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 8 months ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆62Updated 9 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆45Updated 11 months ago
• delph-in / pydmrs
  A library for manipulating DMRS structures
  ☆14Updated 3 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 2 months ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆15Updated 8 years ago
• Periklismant / oPIEC
  oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
  ☆18Updated last month
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 2 years ago
• SNePS / SNePS2
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆11Updated 6 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 11 years ago
• triska / proloxy
  Prolog Reverse Proxy
  ☆19Updated 6 years ago
• kkalouli / GKR_semantic_parser
  The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph
  ☆13Updated 2 years ago