Knowledge-based system design using prolog: the PIAF experience

摘要

The implementation of a knowledge-based system that deals with the Very Large Scale Integration circuit Computer Aided Design domain requires the important consideration of several problems, including the complexity of the domain, the nature of information processing, and the automation requirements. This paper presents the implementation techniques of the Package for Intelligent and Algorithmic Floorplanning, a knowledge-based system program written in Prolog. The presentation aims at discussing the influence of domain knowledge on the structure of PIAF. The main modules of PIAF are discussed in detail, notably the operation of its frame system, inference engine, current context memory and explanation system.