Alternatives and similar repositories for heroku-prolog-buildpack

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

• hnbeck / ecblackjack

  View on GitHub
  Simple BlackJack game via Browser using SWI Prolog, Tau Prolog
  ☆10Feb 2, 2020Updated 6 years ago
• opencog / pln

  View on GitHub
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/pln-experimental and https://github.com/trueagi-io/PLN]. Probabilisti…
  ☆16Sep 20, 2025Updated 4 months ago
• mndrix / prolog_library_ideas

  View on GitHub
  Random ideas about libraries for Prolog
  ☆12Nov 2, 2016Updated 9 years ago
• SWI-PrologTeamLudumDare32 / LudumDare

  View on GitHub
  Our Ludum Dare entry
  ☆20Feb 19, 2017Updated 8 years ago
• acharal / wam

  View on GitHub
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Apr 2, 2020Updated 5 years ago
• sysulic / MEPK

  View on GitHub
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Feb 20, 2025Updated 11 months ago
• rali-udem / gophi

  View on GitHub
  GOPHI: an AMR-to-English Verbalizer
  ☆11Feb 5, 2020Updated 6 years ago
• mndrix / mavis

  View on GitHub
  Optional types for Prolog
  ☆11Aug 14, 2018Updated 7 years ago
• guitarvydas / wam

  View on GitHub
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Mar 24, 2019Updated 6 years ago
• JanWielemaker / ffi

  View on GitHub
  SWI-Prolog dynamic C interface
  ☆17Sep 21, 2024Updated last year
• celinehocquette / numsynth-aaai23

  View on GitHub
  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
  ☆17Feb 22, 2023Updated 2 years ago
• stassa / metasplain

  View on GitHub
  Explainable machine learning
  ☆17Mar 17, 2019Updated 6 years ago
• logicmoo / logicmoo_clif

  View on GitHub
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Oct 2, 2021Updated 4 years ago
• JanWielemaker / swi-erlang

  View on GitHub
  Yes, Erlang in SWI-Prolog!
  ☆12Jun 18, 2018Updated 7 years ago
• wouterbeek / prolog_rdf

  View on GitHub
  Advanced support for working with RDF in Prolog.
  ☆18Aug 31, 2024Updated last year
• logicmoo / logicmoo_ec

  View on GitHub
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Feb 6, 2022Updated 4 years ago
• ptarau / binprolog

  View on GitHub
  Fast, simplified WAM-based Prolog system
  ☆25Oct 30, 2025Updated 3 months ago
• nilqed / SNARK

  View on GitHub
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Feb 24, 2025Updated 11 months ago
• triska / proloxy

  View on GitHub
  Prolog Reverse Proxy
  ☆20Feb 24, 2018Updated 7 years ago
• cmungall / sparqlprog

  View on GitHub
  logic programming with SPARQL
  ☆48Jan 16, 2023Updated 3 years ago
• lil-lab / amr

  View on GitHub
  Cornell AMR Semantic Parser (Artzi et al., EMNLP 2015)
  ☆24Apr 13, 2020Updated 5 years ago
• ClioPatria / ClioPatria

  View on GitHub
  ClioPatria provides an RDF application platform
  ☆57Nov 20, 2025Updated 2 months ago
• brismu / klesi

  View on GitHub
  Lojban ologs (categorical databases) using jq
  ☆25Nov 29, 2018Updated 7 years ago
• rla / node-swipl

  View on GitHub
  A node.js interface to the SWI-Prolog library.
  ☆30Nov 8, 2021Updated 4 years ago
• Attempto / Clex

  View on GitHub
  Large lexicon for APE (~100,000 entries)
  ☆30Nov 5, 2018Updated 7 years ago
• SWI-Prolog / packages-http

  View on GitHub
  The SWI-Prolog HTTP server and client libraries
  ☆27Jan 27, 2026Updated 2 weeks ago
• logicmoo / prologmud

  View on GitHub
  MUD Server written in Prolog using Forward chaining
  ☆28Feb 6, 2022Updated 4 years ago
• aarroyoc / doclog

  View on GitHub
  DocLog builds documentation from source code in Prolog
  ☆33Jan 5, 2026Updated last month
• SWI-Prolog / packages-jpl

  View on GitHub
  JPL: The Prolog <-> Java interface
  ☆58Jan 27, 2026Updated 2 weeks ago
• ru / casanova

  View on GitHub
  A charming general game player
  ☆17Apr 20, 2010Updated 15 years ago
• DeMaCS-UNICAL / EmbASP

  View on GitHub
  A general framework for embedding Logic Programming in complex systems
  ☆30Mar 30, 2024Updated last year
• wouterbeek / prolog_library_collection

  View on GitHub
  A collection of Prolog libraries.
  ☆88Aug 31, 2024Updated last year
• arcadio / data-logic

  View on GitHub
  Expert system with deductive querying and verification of constraints expressed in natural language
  ☆22May 28, 2025Updated 8 months ago
• ianhorswill / UnityProlog

  View on GitHub
  A mostly ISO-compliant Prolog interpreter for Unity3D
  ☆36Jul 25, 2017Updated 8 years ago
• stuartpb / shrdlu

  View on GitHub
  Terry Winograd's SHRDLU
  ☆41Mar 6, 2011Updated 14 years ago
• vaporvee / gd-net-thirdpersoncontroller

  View on GitHub
  Thirdperson controller made in the .NET version of Godot 4.0 with C#
  ☆14Mar 21, 2024Updated last year
• triska / scryer-prolog

  View on GitHub
  A modern Prolog implementation written mostly in Rust.
  ☆12Jan 18, 2026Updated 3 weeks ago
• epstabler / mgtdb

  View on GitHub
  MG top-down beam parsing
  ☆13Jul 2, 2018Updated 7 years ago
• triska / presprover

  View on GitHub
  Prove formulas of Presburger Arithmetic
  ☆11Oct 5, 2024Updated last year