Alternatives and similar repositories for learn-prolog-now-exercises

Users that are interested in learn-prolog-now-exercises are comparing it to the libraries listed below

• tboronczyk / LearnPrologNow

  View on GitHub
  My answers to the exercises in Learn Prolog Now!
  ☆21Jul 14, 2015Updated 10 years ago
• Anniepoo / prolog-examples

  View on GitHub
  Some simple examples for new Prolog programmers
  ☆621Nov 4, 2022Updated 3 years ago
• wouterbeek / prolog_library_collection

  View on GitHub
  A collection of Prolog libraries.
  ☆88Aug 31, 2024Updated last year
• Duke-PL-Course / Prolog

  View on GitHub
  Example Problems and Assignments for Prolog
  ☆33Apr 23, 2013Updated 12 years ago
• jcoder58 / PrologTutorials

  View on GitHub
  Prolog Tutorials and Information
  ☆173Apr 13, 2019Updated 6 years ago
• rla / node-swipl

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

  View on GitHub
  How hard can it be?
  ☆11May 4, 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
• celinehocquette / numsynth-aaai23

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

  View on GitHub
  Text templating processor for SWI-Prolog.
  ☆32Mar 14, 2020Updated 5 years ago
• klaudiosinani / awesome-prolog

  View on GitHub
  Curated list of Prolog packages and resources
  ☆551Sep 24, 2025Updated 4 months ago
• Anniepoo / swiplwebtut

  View on GitHub
  A tutorial for the swipl web framework
  ☆114Feb 9, 2021Updated 5 years ago
• mcsoto / cosmos

  View on GitHub
  A new logic programming language.
  ☆175Jul 30, 2023Updated 2 years ago
• pkrumins / the-little-prover

  View on GitHub
  All code examples from "The Little Prover" book
  ☆23Nov 22, 2015Updated 10 years ago
• markus1189 / how-this-presentation

  View on GitHub
  ☆13Jun 4, 2018Updated 7 years ago
• racket / eopl

  View on GitHub
  ☆39Nov 21, 2025Updated 2 months ago
• SWI-Prolog / contrib-swiplcs

  View on GitHub
  Interface from C# to SWI-Prolog
  ☆27Dec 7, 2025Updated 2 months ago
• arthwang / vsc-prolog

  View on GitHub
  A VS Code extension that provides language support for prolog
  ☆103Oct 30, 2023Updated 2 years ago
• hargettp / prolog_lsp

  View on GitHub
  Language Server for Prolog
  ☆13May 2, 2023Updated 2 years ago
• mndrix / jolog

  View on GitHub
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Mar 10, 2015Updated 10 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-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
• samer-- / prolog

  View on GitHub
  Prolog stuff
  ☆27Sep 1, 2019Updated 6 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
• SWI-PrologTeamLudumDare32 / LudumDare

  View on GitHub
  Our Ludum Dare entry
  ☆20Feb 19, 2017Updated 8 years ago
• rali-udem / gophi

  View on GitHub
  GOPHI: an AMR-to-English Verbalizer
  ☆11Feb 5, 2020Updated 6 years ago
• LearnPrologNow / lpn-swish-proxy

  View on GitHub
  SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now
  ☆13Mar 5, 2024Updated last year
• InsightDataScience / flask-kube-prometheus

  View on GitHub
  Quick boiler plate to get started with monitoring your Flask application on Kubernetes with Prometheus
  ☆11Mar 7, 2017Updated 8 years ago
• davidenitti / DC

  View on GitHub
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆15Feb 27, 2017Updated 8 years ago
• kkty / prolog

  View on GitHub
  Implementation of Prolog in TypeScript
  ☆35Dec 30, 2022Updated 3 years ago
• tau-prolog / tau-prolog

  View on GitHub
  An open source Prolog interpreter in JavaScript
  ☆625Jan 30, 2023Updated 3 years ago
• triska / clpfd

  View on GitHub
  Constraint Logic Programming over Finite Domains
  ☆188Jan 7, 2020Updated 6 years ago
• khueue / prolog-json

  View on GitHub
  JSON Parser for Prolog
  ☆16Apr 7, 2018Updated 7 years ago
• emacstheviking / gnuprolog-json

  View on GitHub
  Pure prolog JSON encoding and decoding library plus some simple utility functions.
  ☆13Jun 10, 2015Updated 10 years ago
• cycorp / example-code

  View on GitHub
  Examples of common usage of the Cyc APIs.
  ☆17Jan 18, 2018Updated 8 years ago
• drothlis / pretty-symbols

  View on GitHub
  Emacs minor mode for drawing multi-character tokens as Unicode glyphs (lambda -> λ). A configurable replacement for pretty-mode and the l…
  ☆42Sep 30, 2014Updated 11 years ago
• agentzh / re1

  View on GitHub
  agentzh's fork of Russ Cox's re1 toy regex library
  ☆19Jan 31, 2013Updated 13 years ago