Appears in Proceedings of VMCAI2013, Springerlink. The final publication is available at http: link.springer.com chapter - Mathematical logic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-02-27 16:36:12 Query languages Quantification Datalog Mathematical logic Prolog Logic programming Predicate Function Resolution Logic Mathematics Computing		Appears in Proceedings of VMCAI2013, Springerlink. The final publication is available at http://link.springer.com/chapter%2F978. Its DOI isTool Integration with the Add to Reading List Source URL: cedeela.fr Download Document from Source Website File Size: 341,90 KB Share Document on Facebook

	The Prolog to Mercury transition guide Version rotdThomas Conway Zoltan Somogyi Fergus Henderson DocID: 1xVTf - View Document
	The Prolog to Mercury transition guide VersionThomas Conway Zoltan Somogyi Fergus Henderson DocID: 1xUyl - View Document
	Prolog-Programm: - Fakten - Regeln - Anfragen Horn-Klauseln, bilden Wissensbasis DocID: 1vbGX - View Document
	Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands http://www.swi.psy.uva.nl Programming in XPCE / Prolog DocID: 1uQRL - View Document
	Avoiding Equivariance in Alpha-Prolog Christian Urban1 and James Cheney2 1 Ludwig-Maximilians-University Munich () 2 DocID: 1uyDU - View Document