Past Prolog and Hacket and Lambda Calculus and Proof Systems and Type Theory and Use Case Conferences