H ? « »

Language peer sets for FRAPPS:
United States
United States/1992
Designed 1992
1990s languages
Fifth generation
Post-Cold War


alternate simple view
Country: United States
Designed 1992
Published: 1992

for Framework for Resolution-based Automated Proof Procedures

portable resolution theorem-prover written in Common Lisp.

It facilitates the construction of a wide variety of resolution-based deductive systems.  FRAPPS offers the basic functionality necessary to
build such systems, freeing users from low-level implementation concerns.  It is not intended for use in the construction of high-performance theorem provers, but rather to provide a modular and customizable system useful for rapid prototyping and experimentation in teaching and research.  An extension to FRAPPS, called  "Hooked on FRAPPS" or "Constraints in FRAPPS" enables the introduction of specialized unification procedures and constraints.

Related languages
Common LISP FRAPPS   Based on

Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder