LeanTaP

Kapcsolódó fogalmak: 
Prolog
Rövid szöveges bemutatás: 
A LeanTap tételbizonyítót Beckert és Posegga alkotta meg 1995-ben. Hírhedt attól vált, hogy a program magja 25 prolog nyelven íródott sorból állt ennek ellenére egy kifejezetten hatékonyan és jól működő rendszer volt. Szekvenciális kalkulust használ és hiányzik belőle szinte minden strukturális szabály. Ez egy tábla alapú rendszer és könnyű igazolni vele a korrektséget és a teljességet és nyit több logika használata felé is. A mellékelt weboldalon több információt talál a rendszer felépítéséről és használatáról.