Sixth International Conference on Algebraic and Logic Programming
September 3-5, 1997
University of Southampton
ALP aims at strengthening the connections between algebraic techniques
and logic programming.
Many efforts have been made to include algebraic concepts into
logic programming (functions, types, modules, equational theories
and constraints). ALP promotes the cross-fertilizing exchange
of ideas and experiences among researchers from the algebraic
and logic programming communities.
Topics (non exclusive list):
- Semantics of algebraic and logic programming
- Integration of functional and logic programming
- Term rewriting, narrowing, resolution
- Constraint logic programming and theorem proving with constraints
- Concurrent features in algebraic and logic programming languages
- Higher order features in algebraic and logic programming languages
Hugh Glaser
Pieter Hartel
Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton
4th July 1997