Declarative Programming, Sasbachwalden 1991