J.D. Newmarch

• Logic Programming