Concurrent Alpha-Beta: A Study in Concurrent Logic Programming.

Walter G. Wilson

Published in: SLP (1987)

Keyphrases

logic programming
logic programs
knowledge representation
alpha beta
inductive logic programming
deductive databases
answer set programming
lower bound
stable models
search algorithm
general purpose
programming language
constraint logic programming
answer sets
disjunctive logic programming