Prolog on the multithreaded Datarol-II machine based on the logicflow execution model.

Péter Kacsuk Makoto Amamiya

Published in: SPDP (1996)

Keyphrases

execution model
functional programming
transaction management
active rules
logic programming
expert systems
database
databases
knowledge base
data structure
programming language
data management
index structure
database applications