Alternatives and similar repositories for logicmoo_workspace

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

• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Updated 3 years ago
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆26Updated this week
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 10 months ago
• eriktmueller / daydreamer
  DAYDREAMER goal-based agent
  ☆78Updated 3 years ago
• rla / prolog-target-js
  Simple Prolog to JS transpiler
  ☆20Updated 12 years ago
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆28Updated 3 years ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆16Updated 9 years ago
• mndrix / prolog_library_ideas
  Random ideas about libraries for Prolog
  ☆12Updated 8 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆28Updated 6 years ago
• ha-mo-we / Racer
  Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
  ☆109Updated 6 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 8 years ago
• SWI-Prolog / packages-pengines
  Pengines: Prolog engines
  ☆12Updated 2 weeks ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated 11 months ago
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆38Updated 10 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆56Updated last year
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated 3 weeks ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• cmungall / cltools
  tools for common-logic
  ☆20Updated 12 years ago
• vscosta / yap-6.3
  YAP Development release
  ☆15Updated 4 years ago
• stuartpb / shrdlu
  Terry Winograd's SHRDLU
  ☆40Updated 14 years ago
• JanWielemaker / swi-erlang
  Yes, Erlang in SWI-Prolog!
  ☆11Updated 7 years ago