2013-08-282021-03-232013-08-282021-03-232013https://ir.wgtn.ac.nz/handle/123456789/6141pdfen-NZComputer ScienceCOMP425: Computer Science: Computational LogicTextCOMP425COMP 425examComputational Logic