H ?
«
‹
←
→
›
»
Language peer sets for FRAPPS: United States↑ United States/1992↑ Designed 1992 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ FRAPPS(ID:3667/fra010)alternate simple viewCountry: 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. Structures: Related languages
Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |