SEMLOG: A multiparadigm programming language for knowledge engineering
Abstract
SEMLOG is a strongly typed programming language that carefully blends important language features from three programming paradigms: object-oriented, logic, and functional programming. The result is a multiparadigm high-level language that meets the diverse needs of representing domain knowledge. The language provides powerful primitives for effectively representing: domain objects and their attributes, the taxonomic arrangement of domain objects, the interrelationships between domain objects, and rules for making decisions. But more importantly, because the language is strongly typed, these diverse forms of knowledge can be represented without compromising the integrity of the knowledge base.
Degree
Ph.D.
Advisors
Stansifer, Purdue University.
Subject Area
Computer science
Off-Campus Purdue Users:
To access this dissertation, please log in to our
proxy server.