Logic Circuit Synthesis Using Prolog.
Takao UeharaNobuaki KawatoPublished in: New Gener. Comput. (1983)
Keyphrases
- logic programming
- classical logic
- horn clauses
- logic programs
- knowledge representation
- expert systems
- programming language
- set theory
- automated reasoning
- sound and complete axiomatization
- predicate logic
- image sequences
- databases
- genetic algorithm
- knowledge base
- general purpose
- modal logic
- artificial intelligence
- probabilistic logic
- neural network
- defeasible logic
- digital circuits
- data sets
- constraint logic programming
- epistemic logic
- prolog programs
- logical rules
- delay insensitive
- abstract machine
- database