Logic Programming, Functions, Relations, and Equations
Author | : Doug DeGroot |
Publisher | : Prentice Hall |
Total Pages | : 584 |
Release | : 1986 |
ISBN-10 | : UOM:39015010490137 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Download or read book Logic Programming, Functions, Relations, and Equations written by Doug DeGroot and published by Prentice Hall. This book was released on 1986 with total page 584 pages. Available in PDF, EPUB and Kindle. Book excerpt: Setting the stage; Unification and functional programming; Symmetric combinations; Programming with equality; Augmented unification; Semantic foundations.