Past Prolog and Reason and Use Case Conferences