Comparative Semantics for Flow of Control in Logic Programming without Logic

Abstract

We study semantic issues concerning control flow notions in logic programming languages by exploring a two-stage approach. The first considers solely uninterpreted (or schematic) elementary actions, rather than operations such as uniIication, substitution generation, or refutation. Accordingly, logic is absent at this first stage. We provide a comparative… (More)
DOI: 10.1016/0890-5401(91)90036-2

Topics

  • Presentations referencing similar topics