Practical Aspects of Declarative Languages
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
Chapter and Conference Paper
Nondeterminism and partially instantiated data structures give logic programming expressive power beyond that of functional programming. However, functional programming often provides convenient syntactic feat...
Book and Conference Proceedings
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
Chapter and Conference Paper
A new formalism, called Hiord, for defining type-free higher-order logic programming languages with predicate abstraction is introduced. A model theory, based on partial combinatory algebras, is presented, with r...
Chapter and Conference Paper
It is now widely accepted that separating programs into modules is useful in program development and maintenance. While many Prolog implementations include useful module systems, we argue that these systems ca...