Depth-bounded bottom-up evaluation of logic programs

DOI10.1016/0743-1066(94)00030-AzbMath0871.68044MaRDI QIDQ3128527

Jan Chomicki

Publication date: 5 October 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

\(\text{Datalog}_{nS}\)depth-bounded bottom-up evaluation algorithm

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Logic programming (68N17)

Related Items (3)

Positive Dedalus programs tolerate non-causality ⋮ Temporal disjunctive logic programming ⋮ Temporal stratification tests for linear and branching-time deductive databases

This page was built for publication: Depth-bounded bottom-up evaluation of logic programs