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…
  ☆288Updated last year
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆25Updated 3 months ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆174Updated 5 years ago
• tboronczyk / LearnPrologNow
  My answers to the exercises in Learn Prolog Now!
  ☆20Updated 9 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆170Updated 5 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆250Updated 11 months ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆73Updated 4 years ago
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆595Updated 2 years ago
• stchang / graph
  Generic graph library and algorithms for Racket.
  ☆59Updated last year
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆16Updated 2 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆84Updated 2 years ago
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆354Updated 2 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆191Updated last year
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 4 years ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆263Updated this week
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆34Updated 11 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
• LeifAndersen / PLGradSchools
  ☆227Updated 7 months ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆153Updated 10 months ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆502Updated this week
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated last year
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆44Updated last year
• mndrix / dcg_util
  DCG utility predicates for Prolog
  ☆10Updated 10 years ago
• Anniepoo / swiplwebtut
  A tutorial for the swipl web framework
  ☆111Updated 4 years ago
• dtonhofer / prolog_notes
  Some notes taken while working on Prolog
  ☆160Updated last year
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆21Updated this week
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 6 years ago
• triska / ediprolog
  Emacs Does Interactive Prolog
  ☆40Updated 4 months ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago