Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)