Forum as a Logic Programming Language: Preliminary Report
Joshua S. Hodas, Jeffrey Polakow · Electronic Notes in Theoretical Computer Science · 1996
When Miller introduced Forum he called it a specification logic, rather than a logic programming language. In this paper we outline those features that create problems in attempting to implement an interpreter for the language, and describe solutions to those problems. We show how techniques used in the implementation of Lolli can be extended naturally to Forum. Finally, we show two Forum programs in order to demonstrate some of the paradigms that arise in using the language.