Now showing items 1-1 of 1

    • FORUM and its implementation 

      Urban, Christian (University of St Andrews, 1997) - Thesis
      Miller presented Forum as a specification logic: Forum extends several existing logic programming languages, for example Prolog, LO and Lolli. The crucial change in Forum is the extension from single succedent sequents, ...