Talk "An institution-independent approach to logic programming"

by José Luiz Fiadeiro

Fri, 10 January 2014 at 01:30 pm in Theddingworth near Leicester, UK

Joint work with: Ionut Tutu

Abstract: We review the mathematical foundations of conventional logic programming and advance an abstract algebraic framework for it that is grounded on the institution theory of Goguen and Burstall. The proposed conceptual structure relies on institutional generalisations of logic-programming notions such as variable, substitution, local sentence, interpretation of variables, and satisfaction. It supports in this way not only a definition of logic programs that is independent of the underlying institution of the considered logic-programming language, but also the development of an equally abstract description of their execution.