Wed 12 Nov
Dr. Sandro Etalle
(Univ. of Amsterdam)
Call-by-need in logic programming
We present a new framework for logic programming that is currently
under development and investigation.
This framework allows to consider a class of incomplete derivation as
"successful" ones. In this setting the fundamental result of
independence from the selection rule does not hold any longer. This
allows to investigate the possibility of having a call-by-need selection
rule. The proposed framework enables to fruitfully employ programs
generating infinite structures (e.g. hamming), and should lead to more
efficient program's execution.
Being work in progress, the talk will be somewhat technical, but
hopefully interactive. I am looking forward to hearing the comments of