Date: Wed 12 Nov
Time: 17.00
Place: room 214

Speaker: Dr. Sandro Etalle (Univ. of Amsterdam)
Title: Call-by-need in logic programming
Reference: Maurizio Martelli

Abstract. 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 the participants.