SEMLOG: A multiparadigm programming language for knowledge engineering

Parthasarathy Bhasker, Purdue University


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.




Stansifer, Purdue University.

Subject Area

Computer science

Off-Campus Purdue Users:
To access this dissertation, please log in to our
proxy server