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…
  ☆288Updated last year
• mrkkrp / lpnes
  Learn Prolog Now! Proper and elegant exercise solutions
  ☆47Updated 10 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆45Updated 3 weeks ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆595Updated 2 years ago
• vsee / uoe_programmingclub
  University of Edinburgh Programming Club
  ☆56Updated 4 years ago
• meganutexas / Base_UTCS_Knowledge
  ☆15Updated 8 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆170Updated 5 years ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆447Updated last week
• rage / ohjelmointi-20
  ☆9Updated last year
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,027Updated this week
• pittcsc / PittAPI
  An API to easily get data from the University of Pittsburgh
  ☆114Updated last month
• mcp-team / mcp-starter-pack
  A collection of resources for MCP
  ☆12Updated 5 years ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,263Updated 3 weeks ago
• riboch / LaTeXLogbookTemplate
  My LaTeX logbook template, including the date generation bash script.
  ☆20Updated 8 years ago
• shahiro770 / CandleLight
  Its hard to see in the dark
  ☆8Updated 3 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆224Updated 2 months ago
• jtcbrule / whittemore
  Causal programming in Clojure
  ☆26Updated 3 years ago
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆524Updated 2 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆118Updated 7 months ago
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆35Updated 4 months ago
• probcomp / metaprob
  An embedded language for probabilistic programming and meta-programming.
  ☆168Updated 2 years ago
• electionscience / vse-sim
  Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.
  ☆59Updated last year
• catmanjan / anutimetable
  Intuitive timetable builder for the Australian National University.
  ☆57Updated 2 years ago
• hamishhuggard / ea_data_viz
  Effective Altruism data visualiser. Deployed at https://effectivealtruismdata.com
  ☆14Updated 2 years ago
• arthwang / vsc-prolog
  A VS Code extension that provides language support for prolog
  ☆100Updated last year
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆174Updated 5 years ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆60Updated 7 years ago
• jason-lang / jason
  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
  ☆225Updated 2 months ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆160Updated last year
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆17Updated 2 years ago