Prolog-Based Expert System for Logic Design.

Fumihiro Maruyama Tamio Mano Kazushi Hayashi Taeko Kakuda Nobuaki Kawato Takao Uehara

Published in: FGCS (1984)

Keyphrases

expert systems
knowledge based systems
design process
logic programming
digital circuits
fuzzy logic
user interface
knowledge base
evolutionary algorithm
case study
building blocks
neural network
computer aided
modal logic
knowledge engineering
inference engine
design space
databases