A unique publication that provides an introduction to the theory of logic programming and its application to Prolog programs. Covers programming issues such as termination, occur-check freedom, partial correctness and absence of runtime errors. Paper. DLC: Logic programming.
"synopsis" may belong to another edition of this title.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: Used. pp. 280. Seller Inventory # 44797609
Quantity: 1 available
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-259503
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: Used. pp. 280. Seller Inventory # 1847985020
Quantity: 1 available