Past Prolog and Abstract Algebra and Category Theory and Hacket and Racket Conferences