University of Chicago - Declarative programming languages, lambda Prolog.
Add your website to our directory for free.