Collective Predicates: Expressing Control of OR-Parallelism in Prolog.

Rene Quiniou Laurent Trilling

Published in: AIMSA (1988)

Keyphrases

knowledge representation
logic programming
database
expert systems
control system
control strategies
control method
parallel computation
horn clauses
process control
data acquisition
programming language
social networks
search engine
information retrieval
neural network
real time