A Dynamic Approach to Characterizing Termination of General Logic Programs

Yi-Dong Shen Jia-Huai You Li-Yan Yuan Samuel S. P. Shen Qiang Yang

Published in: CoRR (2002)

Keyphrases

general logic programs
logic programs
logic programming
database
artificial intelligence
relational databases