{"product_id":"logic-programming-85-proceedings-of-the-4th-conference-tokyo-japan-july-1-3-1985-von-eiiti-wada-hrsg","title":"Logic Programming '85","description":"\u003cp\u003eArchitecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R.- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R.- A note on the elementary execution unit in a parallel inference machine.- Parallel Prolog machine PARK: Its hardware structure and prolog system.- Heuristics applied in tree manipulation algorithm synthesis.- Analogical reasoning using transformations of rules.- Synchronization and communication in the ¿subject¿.- Zero : Frame + prolog.- PRESET ¿ A debugging environment for Prolog.- Proedit ¿ a screen oriented Prolog programming environment.- Software prototyping with MENDEL.- Retrieval of software module functions using first-order predicate logical formulae.- Temporal logic programming language Tokio programming in Tokio.- Implementation of temporal logic programming language Tokio.- Heuristic prolog: Logic program execution by heuristic search.- And-or queuing in Extended Concurrent Prolog.- Guarded horn clauses.- TDProlog: An extended Prolog with term description.- Design and evaluation of a Prolog compiler.- The program characteristics in logic programming language ESP.- Extended Prolog and its application to an integrated parser for text understanding.- A travel consultation system: Towards a smooth conversation in Japanese.- A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management.- Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis.- A parallel logic simulator based on Concurrent Prolog.- A method of representing processes in a constraint solver.- KRIP: A knowledge representation system for laws relating to industrial property.- Consultation system for diagnosis of headache and facial pain: ¿Rhinos¿.- Knowledge realization and transformation in KRISP.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540164791\"\u003e\u003ch3\u003eProceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540164791","offer_id":39423537545309,"sku":"9783540164791","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/535372b6-3cd8-4dfe-a2ef-f44a5168545d.jpg?v=1773554140","url":"https:\/\/shop.autorenwelt.de\/products\/logic-programming-85-proceedings-of-the-4th-conference-tokyo-japan-july-1-3-1985-von-eiiti-wada-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}