Partial Deduction for Structured Logic Programming Michele Bugliesi D.S. Logics s.r.l. Viale Silvani, Bologna, Italy

First Page		Document Content
Date: 2005-06-07 07:38:43 Logic programming Function Uniqueness quantification Prolog Mathematics Mathematical logic Software engineering		Partial Deduction for Structured Logic Programming Michele Bugliesi D.S. Logics s.r.l. Viale Silvani, Bologna, Italy Add to Reading List Source URL: www.dsi.unive.it Download Document from Source Website File Size: 233,60 KB Share Document on Facebook