Alternatives and similar repositories for Prolog:

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

• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated 6 months ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆33Updated 7 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆85Updated 2 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆170Updated 5 years ago
• samer-- / prolog
  Prolog stuff
  ☆28Updated 5 years ago
• mndrix / list_util
  Prolog list utility predicates
  ☆11Updated 6 years ago
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆43Updated 9 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated last year
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆22Updated 7 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• AmziLS / PrologCourse
  Course materials for a Prolog course
  ☆12Updated 8 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆35Updated 8 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆24Updated 2 weeks ago
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆21Updated 4 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆73Updated this week
• mndrix / prolog_library_ideas
  Random ideas about libraries for Prolog
  ☆12Updated 8 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆21Updated 2 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated 2 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated 3 months ago
• SWI-Prolog / contrib-swiplcs
  Interface from C# to SWI-Prolog
  ☆27Updated 5 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• SWI-Prolog / plweb
  SWI-Prolog web server sources for www.swi-prolog.org
  ☆18Updated this week
• mndrix / dcg_util
  DCG utility predicates for Prolog
  ☆10Updated 10 years ago