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
  ☆52Updated 3 weeks ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆35Updated 4 months ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆27Updated 5 months 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
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆61Updated 5 years ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆296Updated this week
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆79Updated 3 weeks ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆16Updated 5 years ago
• Bogdanp / Noise
  A Swift wrapper around Racket CS.
  ☆64Updated 2 weeks ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆51Updated 3 weeks ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• codr7 / whirlog
  a minimal versioned log structured relational DB in Common Lisp
  ☆78Updated 3 years ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆134Updated last year
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆82Updated 4 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆42Updated 2 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆92Updated 3 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆54Updated 2 years ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆60Updated 9 months ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• s-expressions / pose
  Portable S-expressions (POSE) spec and libs
  ☆31Updated 2 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated last week
• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆44Updated last month
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago