Now showing items 1-2 of 2

    • 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, ...
    • Proof-theoretic investigations into integrated logical and functional programming 

      Pinto, Luis Filipe Ribeiro (University of St Andrews, 1997) - Thesis
      This thesis is a proof-theoretic investigation of logic programming based on hereditary Harrop logic (as in lambdaProlog). After studying various proof systems for the first-order hereditary Harrop logic, we define the ...