DIESS (Domain Independent Expert System Shell) - A Prolog Implementation of a Domain-Independent Expert System Shell

摘要

A software environment suitable for the expression of expert knowledge in a variety of domains has been designed and implemented in the Prolog computer language. This 'shell' is intended to be capable of containing expert systems whose object is the proof of goal symbols in domains of categorical single-valued facts. An example is given of a non-trivial expert system to programme in the IBM Job Control Language. Some conclusions are reached and recommendation given for future developments.