Alternatives and similar repositories for postgresql-prolog:

Users that are interested in postgresql-prolog are comparing it to the libraries listed below

• mthom / scryer-shen
  ☆46Updated 4 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 8 months ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆50Updated 5 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆60Updated 5 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• ekoontz / psqlog
  Datalog in PostgreSQL
  ☆28Updated 10 years ago
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆16Updated last year
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆82Updated 4 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆112Updated last month
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆79Updated this week
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆26Updated 3 months ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 2 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆289Updated this week
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆32Updated 2 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆120Updated last month
• aarroyoc / djota
  A Djot implementation in Prolog
  ☆24Updated last year
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• Bogdanp / Noise
  A Swift wrapper around Racket CS.
  ☆61Updated 3 weeks ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆133Updated 2 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆75Updated 14 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• shd101wyy / logic.js
  JavaScript implementation of modified version of miniKanren
  ☆33Updated 5 years ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆59Updated 7 months ago
• JanWielemaker / swi-prolog-wasm
  SWI-Prolog ported to WebAssembly
  ☆39Updated 6 years ago