Functional Computations in Logic Programs


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


  • Presentations referencing similar topics