An Extension of Constructive Negation and its Application in Coroutining.

Published in: NACLP (1989)

Keyphrases

logic programs
databases
logic programming
social networks
database systems
video sequences
information technology
deductive databases