lambda-prolog

There are 0 repository under lambda-prolog topic.

• LPCIC / elpi

  Embeddable Lambda Prolog Interpreter

  constraintsextension-languagelambda-prologocaml-library
  Language:Prolog 262

• LPCIC / coq-elpi

  Coq plugin embedding elpi

  coqmetaprogrammingextension-languagelambda-prologscripting
  Language:OCaml 126

• KiJeong-Lim / portfolio

  My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.

  lexer-generatorparser-generatorlambda-prolognatural-deductionportfolioproofs
  13

• KiJeong-Lim / ppap

  Project Putting All Power!

  ppaplambda-prologlexer-generatorparser-generatorpresburger-arithmetic
  Language:Haskell 4

• cpiemontese / tlc-elpi

  Interactive theorem proving in ELPI

  lambda-calculuslambda-prologtyped-lambda-calculuselpiinteractive-theorem-proving
  2

• shonfeder / 99-lambda-prolog-problems

  99 λProlog Problems (eventually)

  prolog99problemslambda-prolog
  Language:AMPL 2

• voodoos / lp2tex

  An Ugly, untested and mostly unsatifying translator from λProlog code to Latex inference rules

  lambda-prologlatexpython
  Language:Python 1