System architectures for PROLOG executionThe principal features of PROLOG are reviewed with particular reference to the use of the language in the development of expert systems. Attention is given to the language syntax, data structures and recursion, constructs that alter control, predicates that modify the database, predicates for input and output, and metalogical predicates. The parts of the Warren Abstract Machine are then described, and it is shown how it executes programs. Parallel architectures proposed for expert systems are examined, and the principal varieties of parallelism available in PROLOG and examples of architectures exploiting them are discussed.
Document ID
19900041032
Acquisition Source
Legacy CDMS
Document Type
Conference Proceedings
Authors
Gooley, Markian M. (Illinois Univ. Urbana, IL, United States)
Wah, Benjamin W. (Illinois, University Urbana, United States)