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

• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆614Updated 2 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆173Updated 6 years ago
• mrkkrp / lpnes
  Learn Prolog Now! Proper and elegant exercise solutions
  ☆47Updated 10 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 12 years ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆538Updated 2 weeks ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆186Updated 5 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆89Updated 3 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆228Updated 10 months ago
• zacharydenton / euler
  Project Euler solutions in Python, Haskell, Ruby, Rust, and more.
  ☆150Updated 6 months ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated last year
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆102Updated 2 years ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 8 years ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆74Updated 5 years ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆377Updated 2 years ago
• Anniepoo / swiplwebtut
  A tutorial for the swipl web framework
  ☆114Updated 4 years ago
• mozart / mozart2
  Mozart Programming System v2
  ☆597Updated 8 months ago
• buntine / Simply-Scheme-Exercises
  All of the exercises (and their solutions!) from the Berkeley textbook Simply Scheme.
  ☆116Updated 8 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆127Updated 12 years ago
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆75Updated last year
• rubenbarroso / EOPL
  My solutions to the exercises in the book Essentials of Programming Languages, 2nd Edition.
  ☆28Updated 14 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆209Updated last year
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆304Updated 4 years ago
• racket / htdp
  ☆108Updated last week
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆547Updated last month
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆468Updated this week
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆166Updated 4 years ago
• amedama41 / okasaki
  Solutions for Okasaki's "Purely functional data structures" book
  ☆21Updated 8 years ago
• the-little-prover / j-bob
  ☆433Updated last year
• skanev / playground
  An irrelevant project where I keep various code I wrote while learning
  ☆169Updated 7 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago