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
  ☆607Updated 2 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆171Updated 6 years ago
• mrkkrp / lpnes
  Learn Prolog Now! Proper and elegant exercise solutions
  ☆47Updated 10 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆532Updated 2 months ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 12 years ago
• Anniepoo / swiplwebtut
  A tutorial for the swipl web framework
  ☆114Updated 4 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆225Updated 6 months ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆87Updated 2 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated 10 months ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆187Updated last year
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆543Updated 2 years ago
• hakank / hakank
  My public programs and models - mostly combinatorial problems and puzzles
  ☆381Updated 2 weeks ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆74Updated 4 years ago
• klutometis / clrs
  Solutions to "Introduction to Algorithms" by Cormen, Leiserson, Rivest, Stein (CLRS)
  ☆44Updated 12 years ago
• zacharydenton / euler
  Project Euler solutions in Python, Haskell, Ruby, Rust, and more.
  ☆149Updated 3 months ago
• jason-lang / jason
  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
  ☆234Updated 3 weeks ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆202Updated last year
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆101Updated last year
• noelmarkham / learn-you-a-haskell-exercises
  ☆195Updated 5 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
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 7 years ago
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆303Updated 4 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆172Updated 7 months ago
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,090Updated this week
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆455Updated this week
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated 2 months ago
• DestructHub / ProjectEuler
  Polyglot solutions for www.projecteuler.net mathematical challenges
  ☆172Updated 2 years ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,304Updated last week