RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency.

Paul J. Voda Benjamin Yu

Published in: FGCS (1984)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
database systems
situation calculus
declarative semantics
machine learning
expert systems
active learning
general purpose
logic programs
contextual information
concurrency control
radio frequency