LearnPrologNow / lpn

Related projects ⓘ

Alternatives and complementary repositories for lpn

• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆87Updated 2 months ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆122Updated 10 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆69Updated this week
• triska / clpz
  Constraint Logic Programming over Integers
  ☆185Updated 9 months ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆113Updated 7 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 11 years ago
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 4 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆76Updated 2 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆170Updated 5 years ago
• Anniepoo / swipldcgtut
  A tutorial for DCG's in swi-Prolog
  ☆33Updated 3 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆22Updated 5 years ago
• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆220Updated this week
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆169Updated 4 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated 9 months ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆41Updated 8 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 3 months ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆116Updated 2 years ago
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆290Updated this week
• exercism / racket
  Exercism exercises in Racket.
  ☆42Updated 2 weeks ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆112Updated 2 months ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆24Updated this week
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 7 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆188Updated 7 months ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆130Updated 6 years ago
• SWI-Prolog / roadmap
  Discuss future development
  ☆21Updated 9 years ago