Speedup of logic programs by binarization and partial deduction

DOI10.1017/S147106840300190XzbMath1093.68557OpenAlexW2137485986MaRDI QIDQ4669648

No author found.

Publication date: 15 April 2005

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s147106840300190x

zbMATH Keywords

transformationcontinuationlogic programmingbinarizationpartial deduction

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Explanations as programs in probabilistic logic programming ⋮ Abstract conjunctive partial deduction for the analysis and compilation of coroutines

Uses Software

• ECCE

This page was built for publication: Speedup of logic programs by binarization and partial deduction