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
  ☆620Updated 3 years ago
• mrkkrp / lpnes
  Learn Prolog Now! Proper and elegant exercise solutions
  ☆46Updated 11 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆173Updated 6 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆188Updated 6 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆101Updated 3 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
  ☆550Updated last month
• Anniepoo / swiplwebtut
  A tutorial for the swipl web framework
  ☆114Updated 4 years ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆126Updated 8 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆75Updated 5 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆191Updated 9 years ago
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆551Updated 4 months ago
• noelmarkham / learn-you-a-haskell-exercises
  ☆198Updated 6 years ago
• aistrate / Articles
  Various interesting articles, in PDF or PS form
  ☆239Updated 12 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated last year
• wo / tpg
  Tree Proof Generator
  ☆177Updated 2 weeks ago
• chris-taylor / aima-haskell
  Algorithms from AIMA in Haskell
  ☆336Updated 8 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆235Updated last month
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆304Updated 5 years ago
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆103Updated 2 years ago
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆75Updated last year
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆77Updated 13 years ago
• write-you-a-scheme-v2 / scheme
  Write You a Scheme
  ☆574Updated 3 years ago
• rkirsling / modallogic
  Modal Logic Playground
  ☆375Updated 2 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 3 months ago
• pvorb / learn-you-a-haskell
  “Learn You a Haskell for Great Good!” by Miran Lipovača
  ☆311Updated 3 years ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆168Updated 3 weeks ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆312Updated last week