Past Prolog and Racket and Use Case and Lambda Conferences