Functional Computations in Logic Programs

Abstract

Although the ability to simulate nondeterminism and to compute multiple solutions for a single query is a powerful and attractive feature of logic programming languages, it is expensive in both time and space. Since programs in such languages are very often functional, that is, they do not produce more than one distinct solution for a single input, this… (More)
DOI: 10.1145/65979.65984

Topics

  • Presentations referencing similar topics