Intermediate code for the sequential Prolog machine PEK.

K. Wada M. Miyamoto S. Kuo Y. Kaneda S. Maekawa

Published in: Microprocess. Microprogramming (1987)

Keyphrases

source code
expert systems
knowledge representation
logic programming
database
batch processing
multiscale
theorem proving
abstract machine
programming paradigms
prolog programs
flowshop
general purpose
special case
evolutionary algorithm
similarity measure
knowledge base
information systems
neural network