AI methodology as a key for software reusability

Logic programming in Prolog has been promoted as being well suited to the implementation of VLSI CAD (computer-aided design) tools. The declarative nature of electronic circuit descriptions leads to natural definitions of many CAD problems, and the logical variable has properties analogous to those of an electrical connection. In addition, Prolog´s implicit database provides a convenient mechanism for creating tools which are sensitive to changing technology rules and design constraints. In particular, it was found that the source code is an order of magnitude smaller than implementations in C; readability is improved; and implementing a basic CAD capability in a logic programming environment creates a solid foundation for more advanced work in intelligent CAD