Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs

doi 10.5121/csit.2014.4129
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Academy & Industry Research Collaboration Center (AIRCC)


Related search