First Page | Document Content | |
---|---|---|
Date: 2010-06-14 20:29:16Mathematical logic Programming idioms Logic programming Prolog Deductive database Clause Stratification Horn clause Recursion Computer programming Software engineering Computing | Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New ZealandAdd to Reading ListSource URL: www.cs.waikato.ac.nzDownload Document from Source WebsiteFile Size: 198,86 KBShare Document on Facebook |