Alternatives and similar repositories for lpnes:

Users that are interested in lpnes 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…
  ☆292Updated last year
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆162Updated last year
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆175Updated 5 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆86Updated 2 years ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆61Updated 7 years ago
• vscosta / yap-6.3
  YAP Development release
  ☆14Updated 4 years ago
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆132Updated 6 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆226Updated 3 months ago
• SWI-Prolog / roadmap
  Discuss future development
  ☆21Updated 9 years ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆73Updated 4 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆170Updated 5 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆96Updated 2 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆195Updated last year
• edisonm / refactor
  Refactoring Tools for SWI-Prolog
  ☆20Updated 2 months ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆599Updated 2 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated 8 months ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆306Updated this week
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆17Updated 2 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆45Updated last year
• zyrolasting / racket-koans
  Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.
  ☆79Updated 2 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆116Updated 2 years ago
• exercism / racket
  Exercism exercises in Racket.
  ☆41Updated last month
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆356Updated 2 years ago
• stchang / macrotypes
  ☆137Updated 2 years ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆204Updated this week