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

• mrkkrp / lpnes
  Learn Prolog Now! Proper and elegant exercise solutions
  ☆47Updated 10 years ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆604Updated 2 years ago
• tboronczyk / LearnPrologNow
  My answers to the exercises in Learn Prolog Now!
  ☆21Updated 9 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆87Updated 2 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 12 years ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆74Updated 4 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago
• Anniepoo / swiplwebtut
  A tutorial for the swipl web framework
  ☆114Updated 4 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆263Updated 4 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆171Updated 6 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• Scarlehh / Discrete_Math_Notes
  First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.
  ☆32Updated 7 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆201Updated last year
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆188Updated 9 years ago
• m4dc4p / cheatsheet
  A Haskell CheatSheet in PDF and literate source formats.
  ☆270Updated 2 years ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆530Updated last month
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 5 years ago
• 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
• ryandougherty / Introduction-to-the-Theory-of-Computation-Solutions
  Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
  ☆357Updated 3 years ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆186Updated last year
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated last month
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆226Updated 6 months ago
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆538Updated 2 years ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆516Updated this week
• soimort / wiki
  ☆79Updated 7 years ago
• haskell / alex
  A lexical analyser generator for Haskell
  ☆308Updated 2 months ago
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,080Updated last week
• opqdonut / haskell-exercises
  Haskell exercises with automatic tests
  ☆158Updated 3 years ago
• dstcruz / Write-Yourself-A-Scheme-In-48-Hours
  My solutions to the popular Haskell tutorial
  ☆76Updated 13 years ago