2012-10-092021-03-152012-10-092021-03-152009https://ir.wgtn.ac.nz/handle/123456789/2023pdfen-NZComputer ScienceCOMP425: Computer Science: Computational LogicTextCOMP425COMP 425examComputational Logic