A Mechanism for Converting Circuit Grammars to Definite Clauses

Abstract

The circuit grammar is a logic grammar developed for knowledge representation of electronic circuits. Knowledge on circuit structures and their functions are coded into the grammar rules. Those grammar rules, when converted into definite clauses, form a logic programme which can parse given circuits and derive electrical behaviour. This paper shows… (More)
DOI: 10.1007/978-3-642-15393-8_22

4 Figures and Tables

Topics

  • Presentations referencing similar topics