dblp.uni-trier.de www.uni-trier.de

Logic Programming: Functions, Relations, and Equations, 1986

Doug DeGroot, Gary Lindstrom (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986, ISBN 0-13-539958-0

Setting the Stage

Unification and Functional Programming

Symmetric Combinations

Programming with Equality

Augmented Unification

Semantic Foundations

Copyright © Sat May 16 22:54:28 2009 by Michael Ley (ley@uni-trier.de)