This paper presents a logic programming language W-Prolog based on the idea of a network of worlds for representing and manipulating knowledge. While maintaining multiple theories within a single system the language provides a rich collection of theory relations for creating new theories. Built-in theory relations implement versions of set theoretic operations and various types of accessibility relations. A notable feature of the language is that it enables users to define their own theory relations. W-Prolog also allows users to define a network of theories where the number and the type of the "network links" depends on the results of some computations.
© (1993) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Christo Dichev, Christo Dichev, } "Knowledge representation with W-Prolog", Proc. SPIE 1963, Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry, (23 March 1993); doi: 10.1117/12.141749; https://doi.org/10.1117/12.141749


The Rational Tree Machine
Proceedings of SPIE (March 20 1989)
High-performance CAM-based Prolog execution scheme
Proceedings of SPIE (February 28 1991)
Designing Vlsi Computer Architectures With Knowledge
Proceedings of SPIE (May 10 1987)
ROOP: a new artificial intelligence programming language
Proceedings of SPIE (August 27 1995)

Back to Top