Alternatives and similar repositories for LearnPrologNow

Users that are interested in LearnPrologNow are comparing it to the libraries listed below

• dragonwasrobot / learn-prolog-now-exercises
  My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…
  ☆291Updated last year
• mrkkrp / lpnes
  Learn Prolog Now! Proper and elegant exercise solutions
  ☆46Updated 10 years ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆603Updated 2 years ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆524Updated 2 weeks ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆171Updated 6 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆74Updated this week
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated 8 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆238Updated 3 years ago
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆535Updated 2 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆181Updated 5 years ago
• ubccpsc / 310
  Main course webpage for CPSC 310.
  ☆212Updated last week
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆660Updated this week
• borisveytsman / acmart
  ACM consolidated LaTeX styles
  ☆651Updated 4 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,291Updated last month
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆225Updated 4 months ago
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,066Updated 2 weeks ago
• PlayingWithProlog / alexa
  Build an Amazon Alexa skill with SWI-Prolog
  ☆9Updated 7 years ago
• haldai / LogicalVision2
  Symbolic computer vision tool
  ☆20Updated 6 years ago
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• sebastianjaszczur / aplikacjawww
  ☆13Updated 2 years ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆336Updated this week
• exercism / prolog
  Exercism exercises in Prolog.
  ☆31Updated 2 months ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆184Updated last year
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆17Updated 2 years ago
• mozart / mozart2
  Mozart Programming System v2
  ☆582Updated 3 months ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆512Updated 5 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆223Updated last month
• awni / backgammon
  Backgammon Game and RL Agents (based on TDGammon)
  ☆17Updated 7 years ago