vslab / YieldProlog

Related projects ⓘ

Alternatives and complementary repositories for YieldProlog

• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆12Updated 7 years ago
• johannesloetzsch / reasonablepy
  Reasonable Python is a module which adds F-Logic to Python
  ☆25Updated 13 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆19Updated 6 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆69Updated 8 months ago
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 5 months ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 5 years ago
• jrbn / vlog
  VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.
  ☆17Updated 6 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 12 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 8 years ago
• cmungall / cltools
  tools for common-logic
  ☆19Updated 11 years ago
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆14Updated 6 years ago
• lambdazen / pixy
  Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack
  ☆36Updated 2 years ago
• zorba-processor / zorba
  Zorba - the NoSQL processor
  ☆42Updated 11 months ago
• mcsoto / cosmos
  A new logic programming language.
  ☆176Updated last year
• mndrix / binprolog
  Contributions to BinProlog. See https://code.google.com/p/binprolog/
  ☆9Updated 11 years ago
• mrocklin / unification
  ☆72Updated 3 years ago
• targodan / jupyter-swi-prolog
  A Jupyter Kernel for SWI-Prolog
  ☆25Updated 6 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 3 weeks ago
• dataphor / Dataphor
  Dataphor Federated Database Management System
  ☆69Updated last year
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆18Updated 3 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆53Updated 10 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 4 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆52Updated 8 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆24Updated this week
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago