CMU Artificial Intelligence Repository
ONTIC: Sequent Based High Level Proof System
areas/kr/systems/ontic/
This directory contains ONTIC, a sequent based high level proof system.
Ontic is an integrated system for the development and manipulation of
technical information, such as abstract mathematical concepts and
theorems, formal system specifications, system implementations, and
system verifications. The Ontic language is a simple generalization of
strongly typed functional programming languages like ML and the typed
lambda-calculus.
Origin:
ftp.ai.mit.edu:/pub/ontic/
Version: 11.5
Requires: Common Lisp
Ports: Lucid CL
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Robert Givan, David McAllester, Carl Witty, Kevin Zalondek
Contact: ontic-implementors@ai.mit.edu
Keywords:
Authors!Givan, Authors!McAllester, Authors!Witty,
Authors!Zalondek, Functional Programming Languages,
Knowledge Representation, Lambda Calculus, Lisp!Code, ML,
ONTIC, Proof Systems, Sequent, Specification, Verification
References: ?
Last Web update on Mon Feb 13 10:24:03 1995
AI.Repository@cs.cmu.edu