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
  ☆46Updated 10 years ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆604Updated 2 years ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆526Updated last month
• tboronczyk / LearnPrologNow
  My answers to the exercises in Learn Prolog Now!
  ☆21Updated 9 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
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆86Updated 2 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆171Updated 6 years ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆74Updated 4 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated 9 months ago
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,076Updated last week
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 12 years ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆515Updated 5 months ago
• linkyndy / expert-systems
  A basic expert system, written in Prolog, that suggests what programming language one should learn first.
  ☆46Updated 8 years ago
• Rootex / 99-prolog-problems
  Solving the 99 prolog problems.
  ☆23Updated 11 years ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,296Updated last month
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆776Updated last week
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆226Updated 5 months ago
• exercism / prolog
  Exercism exercises in Prolog.
  ☆31Updated 2 months ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆376Updated last year
• triska / clpz
  Constraint Logic Programming over Integers
  ☆201Updated last year
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆537Updated 2 years ago
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆75Updated 9 months ago
• mozart / mozart2
  Mozart Programming System v2
  ☆583Updated 3 months ago
• tau-prolog / tau-prolog
  An open source Prolog interpreter in JavaScript
  ☆608Updated 2 years ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆185Updated last year
• wo / tpg
  Tree Proof Generator
  ☆169Updated 3 months ago
• lekkas / c-algorithms
  An experimental C library of common data structures and algorithms
  ☆364Updated 9 years ago
• rla / node-swipl
  A node.js interface to the SWI-Prolog library.
  ☆30Updated 3 years ago