Attempto / APE

Related projects ⓘ

Alternatives and complementary repositories for APE

• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆69Updated 8 months ago
• vangelisv / thea
  OWL2 library for Prolog
  ☆108Updated 5 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• SWI-Prolog / pengines
  Pengine and Prolog scratchpad
  ☆57Updated 4 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated 2 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆54Updated 3 years ago
• SWI-Prolog / packages-semweb
  The SWI-Prolog RDF store
  ☆29Updated this week
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆104Updated last year
• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆132Updated 3 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆69Updated this week
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆125Updated this week
• ha-mo-we / Racer
  Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
  ☆106Updated 5 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆185Updated 9 months ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆103Updated this week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆131Updated 2 weeks ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆102Updated 3 months ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆22Updated 5 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆261Updated last month
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆76Updated 2 years ago
• ontologyportal / sumo
  Suggested Upper Merged Ontology (SUMO)
  ☆227Updated last week
• Anniepoo / JavaPengine
  Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine
  ☆10Updated 8 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆15Updated 2 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆60Updated 4 months ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆154Updated 11 months ago
• ronwalf / swoop
  Automatically exported from code.google.com/p/swoop
  ☆33Updated 9 years ago
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆272Updated this week
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆33Updated 4 months ago
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆72Updated 4 years ago