Synopsis
Foundations of Equational Logic Programming Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augmenting programs with a conditional equational theory, it defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
