H ?
«
‹
←
→
›
»
Language peer sets for Ontic: United States↑ United States/1989↑ Designed 1989 ↑ 1980s languages ↑ Fifth generation↑ Late Cold War↑ Ontic(ID:1508/ont001)alternate simple viewCountry: 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 lambda-calculus." Structures: Related languages
References: Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |