CS262 Logic and Verification Coursework assignment
CS262 Logic and Verification: Coursework assignment Resolution proof system in Prolog Hand in via Tabula by 12 noon on Monday 3rd May, 2021 1 The rules This assignment is worth 15% of the module overall. The absolute number of points that can be achieved is 50. The assignment is stated in a quite concise way […]
CS262 Logic and Verification Coursework assignment Read More »