Groves, Lindsay2012-10-092020-12-162012-10-092020-12-162010https://ir.wgtn.ac.nz/handle/123456789/871pdfen-NZComputer ScienceCOMP425: Computer Science: Computational LogicTextCOMP425COMP 425examComputational Logic