Past Prolog and Abstract Algebra and Racket and Use Case Conferences