Monday May 16 4:00 - 4:50 PM Covell 216 Michael Hanus Professor Computer Science University of Kiel
Declarative Programming with Persistent Information In this talk I describe a new concept to deal with persistent information in a functional logic language. First, I give a short survey on the declarative multi-paradigm language Curry that integrates the main features of functional, logic, and concurrent programming. Then, I introduce the concept of dynamic predicates for dealing with persistent information in functional logic programs. The definition of a dynamic predicate can change over time, i.e., one can add or remove facts that define this predicate. Dynamic predicates are easy to use and have a clear semantics that does not depend on the particular (demand-driven) evaluation strategy of the underlying implementation. In particular, the concept is not based on (unsafe) side effects so that the order of evaluation does not influence the computed results. The latter is an essential requirement in non-strict languages. Dynamic predicates can also be persistent so that their definitions are saved across invocations of programs. Thus, dynamic predicates are a lightweight alternative to the explicit use of external database systems. Moreover, they extend one of the classical application areas of logic programming to functional logic programs. Finally, I discuss the implementation of dynamic predicates. Biography Michael Hanus is Professor of Computer Science at the University of Kiel, Germany. His research is mainly concerned with the integration of functional and logic programming languages, the design and implementation of declarative programming languages, type systems for logic programming, analysis techniques for declarative programs, programming environments and applications of declarative languages. He has published more than eighty papers on these topics in international conference proceedings, journals and books. Currently, he is involved in the design, implementation, and application of the multi-paradigm declarative language Curry. _______________________________________________ Colloquium mailing list [email protected] https://secure.engr.oregonstate.edu/mailman/listinfo/colloquium
