2008. Logic programming. The Reasoner. 2, 12 (Dec. 2008).