Logic programming. The Reasoner, v. 2, n. 12, 1 Dec.2008.