Search for Author All Reviews
	Deville, Yves     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Logic program synthesis from incomplete specifications Flener P., Deville Y. Journal of Symbolic Computation 15(5-6): 775-805, 1993.  Type: Article The problem considered here is inferring a logic program for computing a relation that has been specified by examples and properties. The examples, which may be positive or negative, are ground atoms. The conditions are first-order sta...... Aug 1 1994     Logic programming Deville Y., Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990.  Type: Book (9780201175769) Deville presents a methodology for the systematic construction of correct and efficient logic programs from informal specifications. He assumes that the reader has a knowledge of Prolog....... Apr 1 1992
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy