Alternatives and similar repositories for marelle

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

• wouterbeek / prolog_library_collection

  View on GitHub
  A collection of Prolog libraries.
  ☆88Aug 31, 2024Updated last year
• mndrix / mavis

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

  View on GitHub
  Easy concurrency for Prolog
  ☆13May 30, 2014Updated 11 years ago
• swi-to-yap / swicli

  View on GitHub
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆14Jan 21, 2017Updated 9 years ago
• mndrix / jolog

  View on GitHub
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Mar 10, 2015Updated 10 years ago
• mcsoto / cosmos

  View on GitHub
  A new logic programming language.
  ☆175Jul 30, 2023Updated 2 years ago
• SWI-PrologTeamLudumDare32 / LudumDare

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

  View on GitHub
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆82Jan 20, 2026Updated 3 weeks ago
• SWI-Prolog / pengines

  View on GitHub
  Pengine and Prolog scratchpad
  ☆59Sep 8, 2025Updated 5 months ago
• stassa / THELEMA

  View on GitHub
  My MSc thesis: a grammar induction system
  ☆16Apr 15, 2016Updated 9 years ago
• logicmoo / prologmud

  View on GitHub
  MUD Server written in Prolog using Forward chaining
  ☆28Feb 6, 2022Updated 4 years ago
• fifth-postulate / julian

  View on GitHub
  Date and time library for Prolog
  ☆27Mar 8, 2021Updated 4 years ago
• JanWielemaker / swi-erlang

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

  View on GitHub
  SWI-Prolog OpenAPI (Swagger) support
  ☆10Sep 30, 2024Updated last year
• khueue / prolongo

  View on GitHub
  MongoDB Driver for Prolog
  ☆46Apr 4, 2018Updated 7 years ago
• stassa / Gleemin

  View on GitHub
  A Magic: the Gathering™ expert system
  ☆95Jan 27, 2012Updated 14 years ago
• mndrix / func

  View on GitHub
  Apply and compose functions in Prolog
  ☆19Oct 27, 2016Updated 9 years ago
• mndrix / list_util

  View on GitHub
  Prolog list utility predicates
  ☆11Jul 19, 2018Updated 7 years ago
• Blog-Core / blog-core

  View on GitHub
  Blogging/CMS framework for SWI-Prolog.
  ☆23Mar 2, 2023Updated 2 years ago
• mndrix / edcg

  View on GitHub
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Mar 22, 2018Updated 7 years ago
• jamesnvc / vuelog

  View on GitHub
  Prolog Pengines + vue.js
  ☆17Mar 3, 2019Updated 6 years ago
• guitarvydas / wam

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

  View on GitHub
  OWL2 library for Prolog
  ☆112Aug 23, 2019Updated 6 years ago
• Web-Prolog / swi-web-prolog

  View on GitHub
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆190Dec 29, 2020Updated 5 years ago
• soenkehahn / generics-eot

  View on GitHub
  A library for generic programming that aims to be easy to understand
  ☆26Dec 16, 2025Updated 2 months ago
• Anniepoo / swiplwebtut

  View on GitHub
  A tutorial for the swipl web framework
  ☆114Feb 9, 2021Updated 5 years ago
• JanWielemaker / swi-chat

  View on GitHub
  Demo SWI-Prolog HTTP based chat server
  ☆19Nov 2, 2016Updated 9 years ago
• emilaxelsson / syntactic

  View on GitHub
  Generic representation and manipulation of abstract syntax
  ☆27May 26, 2022Updated 3 years ago
• khueue / prolog-json

  View on GitHub
  JSON Parser for Prolog
  ☆16Apr 7, 2018Updated 7 years ago
• evoldoers / biomake

  View on GitHub
  GNU-Make-like utility for managing builds and complex workflows
  ☆110Nov 14, 2023Updated 2 years ago
• samer-- / prolog

  View on GitHub
  Prolog stuff
  ☆27Sep 1, 2019Updated 6 years ago
• friguzzi / aleph

  View on GitHub
  Port of Aleph to SWI-Prolog
  ☆52Feb 7, 2024Updated 2 years ago
• jamesnvc / lsp_server

  View on GitHub
  Language Server Protocol server for SWI-Prolog
  ☆124Dec 9, 2025Updated 2 months ago
• Anniepoo / prolog-examples

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

  View on GitHub
  A prolog interpreter written in Haskell.
  ☆62Jun 29, 2015Updated 10 years ago
• aarroyoc / teruel

  View on GitHub
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆19Feb 5, 2024Updated 2 years ago
• flavioc / cl-meld

  View on GitHub
  Meld compiler written in Common Lisp
  ☆13Nov 20, 2015Updated 10 years ago
• LogtalkDotOrg / logtalk3

  View on GitHub
  Logtalk - declarative object-oriented logic programming language
  ☆475Updated this week
• jkarni / verdict

  View on GitHub
  ☆26May 9, 2016Updated 9 years ago