Alternatives and similar repositories for YieldProlog:

Users that are interested in YieldProlog are comparing it to the libraries listed below

• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• fnogatz / dcg4pt
  Extend Definite Clause Grammars for Prolog by the corresponding parse tree
  ☆11Updated 2 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 12 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated last month
• cosmoharrigan / pyrolog
  Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog
  ☆24Updated 10 years ago
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 4 months ago
• thetrime / proscript2
  If at first you don't succeed
  ☆12Updated 4 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• cmungall / cltools
  tools for common-logic
  ☆19Updated 12 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 8 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆56Updated 3 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆18Updated 3 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 10 months ago
• logicmoo / logicmoo_nlu
  LogicMOO Natural Language Understanding Kit Unified into Prolog
  ☆13Updated 3 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆53Updated last year
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated last month
• ian-andrich / PythonPengines
  A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
  ☆12Updated 4 years ago
• mndrix / binprolog
  Contributions to BinProlog. See https://code.google.com/p/binprolog/
  ☆10Updated 11 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• fnogatz / tap
  Write TAP tests with SWI-Prolog
  ☆12Updated 2 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆15Updated 7 years ago