Parallel and Distributed Logic Programming, Fachbücher von Amit Konar, Ajit K. Mandal, Alakananda Bhattacharya

Das Buch "Parallel and Distributed Logic Programming" bietet eine umfassende Untersuchung der Entwicklung und Anwendung von logischen Programmiersprachen im Kontext automatisierter Schlussfolgerungen. Es beleuchtet die historische Grundlage der Logik, die bis zu Aristoteles zurückreicht, und beschreibt die evolutionären Fortschritte in der mathematischen Logik, die in den letzten fünf Jahrzehnten stattgefunden haben. Der Fokus liegt auf der automatisierten Verarbeitung von Fakten und Wissen, um Benutzeranfragen effizient zu beantworten. Die Autoren, Alakananda Bhattacharya, Amit Konar und Ajit K. Mandal, diskutieren die Bedeutung des Resolutionstheorems von Professor Robinson, das als Grundlage für die Entwicklung von PROLOG- und DATALOG-Compilern dient. Das Buch thematisiert die Herausforderungen und Lösungen im Bereich der logischen Programmierung, insbesondere im Hinblick auf die Effizienz bei der Verarbeitung einer wachsenden Anzahl von Programmklauseln.