H ? « ‹ ← → › »

Language peer sets for FT:
Sweden↑
Sweden/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

FT(ID:3671/ft:001)

alternate simple view
Country: Sweden
Designed 1989
Published: 1989

FT: Theorem Prover for Intuitionistic Predicate Logic

Runs under Quintus or SICSTUS Prolog
Related languages
SICStus Prolog → FT   Based on
References:
  • Sahlin, Franzen, and Haridi, (1989) Sahlin, Franzen, and Haridi, "An Intuitionistic Predicate Logic Theorem Prover", SICS report. Journal of Logic and Computation 1989
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder