Silvija Seres, Michael J. Spivey, C.A.R. Hoare. Algebra of Logic Programming. ICLP'99. November 1999.
This is the sequel to the Embedding Prolog into Haskell paper.
Three models or serarch strategies are analyzed: a stream model (standard), a matrix model (BFS) and a forest model (the general model).
Several algerbraic laws are introduced, and can be proven using the standard techniques used by the functional programming community.
Sections 6 and 7 require knowledge of some category theory (mainly monads and the notion of morphisms). Using this framework the authors show that the forest model is indeed more general than the other two models, and shows the morphisms from the forest monad to the stream and matrix monads.
Posted to Logic/Declerative by Ehud Lamm on 1/6/03; 3:22:48 AM