Can I read Transforming Logic to Functional Logic on EtoBox?

Transforming Logic to Functional Logic by johnvaran is a document available to read on EtoBox.

What is Transforming Logic to Functional Logic about?

This document discusses mapping logic programs into functional logic programs to take advantage of the efficient evaluation strategies of functional logic languages. It proposes a fully automatic transformation of logic programs into equivalent functional logic programs based on inferring functional dependencies. This transformation can reduce infinite search spaces in logic programs to finite search spaces in the transformed functional logic programs. The transformation is implemented in a tool and its eff

Author

johnvaran

Language

EN