Detecting Determinacy in Prolog Programs Andy King1 , Lunjin Lu2 , and Samir Genaim3 1 2 University of Kent, Canterbury, CT2 7NF, UK - CT2 - Document - PDFSEARCH.IO

First Page	Meta Content
	Detecting Determinacy in Prolog Programs Andy King1 , Lunjin Lu2 , and Samir Genaim3 1 2 University of Kent, Canterbury, CT2 7NF, UK Add to Reading List Document Date: 2014-02-06 10:55:05 Open Document File Size: 207,54 KB Share Result on Facebook

Detecting Determinacy in Prolog Programs Andy King1 , Lunjin Lu2 , and Samir Genaim3 1 2 University of Kent, Canterbury, CT2 7NF, UKAdd to Reading List