First Page | Document Content | |
---|---|---|
Date: 2010-10-22 08:05:11Predicate logic Mathematical logic Prolog Logic programming Partial evaluation Predicate Resolution Mereology Programming language Eval | A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of EdinburghAdd to Reading ListSource URL: repository.readscheme.orgDownload Document from Source WebsiteFile Size: 156,67 KBShare Document on Facebook |