10. ICLP 1993: Budapest, Hungary

Invited Talks

Higher-Order Extensions to Prolog

Freeness

Parallel Implementations 1

Actions

Parallel Implementations 2

Fixpoints

Implementation

Program Synthesis

Constraint Solving

Semantics 1

Constraints

Semantics 2

Compilation

Databases

Poster Abstracts