{"paper":{"title":"The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"O. Ledeniov, S. Markovitch","submitted_at":"2011-05-27T01:45:23Z","abstract_excerpt":"It is common to view programs as a combination of logic and    control: the logic part defines what the program must do, the control    part -- how to do it.  The Logic Programming paradigm was developed    with the intention of separating the logic from the control.    Recently, extensive research has been conducted on automatic    generation of control for logic programs.  Only a few of these works    considered the issue of automatic generation of control for improving    the efficiency of logic programs.  In this paper we present a novel    algorithm for automatic finding of lowest-cost su"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.5442","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}