Logic Programming: Operational Semantics and Proof Theory by J. Andrews (English
47,76 €
He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which ???. depth-first???. search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete.
Jetzt bei Ebay:
