A. Kimmig, G. Van den Broeck, and L. De Raedt, “An Algebraic Prolog for Reasoning about Possible Worlds”, AAAI, vol. 25, no. 1, pp. 209-214, Aug. 2011.