The deevolution of concurrent logic programming languages
From MaRDI portal
Publication:5894646
DOI10.1016/0743-1066(94)00038-8zbMath0863.68065OpenAlexW1977231480MaRDI QIDQ5894646
Jeffrey D. Ullman, Raghu Ramakrishnan
Publication date: 17 March 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(94)00038-8
Related Items
Recursive rules with aggregation: a simple unified semantics, A logical characterization of forward and backward chaining in the inverse method, Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty