H ? « »

Language peer sets for Ontic:
United States
United States/1989
Designed 1989
1980s languages
Fifth generation
Late Cold War


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

MIT Robert Givan, David McAllester, Carl Witty, Kevin Zalondek 1989

OOL for an inference system. LISP-like appearance, but based on set theory.

From CMU archive:
"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

Related languages
LISP 1.5 Ontic   Based on
ML Ontic   Influence

  • (1989) "Ontic: A Knowledge Representation System for Mathematics", D.A. McAllster, MIT Press, 1989.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder