Wprowadzenie do programowania logicznego

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 5 głosach.

Oryginalny tytuł:

Introduction to Logic Programming

Zawartość książki:

Programowanie logiczne to styl programowania, w którym programy mają postać zbiorów zdań w języku logiki symbolicznej.

Z biegiem lat wzrosło zainteresowanie programowaniem logicznym ze względu na zastosowania w dedukcyjnych bazach danych, zautomatyzowanych arkuszach roboczych, zarządzaniu przedsiębiorstwem (reguły biznesowe), prawie obliczeniowym i ogólnych grach. Niniejsza książka przedstawia teorię programowania logicznego, aktualną technologię i popularne zastosowania.

W tym tomie przyjmujemy innowacyjne, modelowo-teoretyczne podejście do programowania logicznego. Zaczynamy od fundamentalnego pojęcia zbiorów danych, tj. zbiorów podstawowych atomów. Biorąc pod uwagę to fundamentalne pojęcie, wprowadzamy widoki, tj. wirtualne relacje; i definiujemy klasyczne programy logiczne jako zbiory definicji widoków, napisane przy użyciu tradycyjnej notacji podobnej do Prologu, ale z semantyką podaną w kategoriach zbiorów danych, a nie implementacji. Następnie wprowadzamy akcje, tj. dodawanie i usuwanie podstawowych atomów; i definiujemy dynamiczne programy logiczne jako zbiory definicji akcji.

Oprócz drukowanej książki, dostępna jest również wersja online tekstu z interpreterem i kompilatorem języka używanego w tekście oraz zintegrowanym środowiskiem programistycznym do tworzenia i wdrażania praktycznych programów logicznych.

"To książka na miarę XXI wieku: prezentuje eleganckie i innowacyjne spojrzenie na programowanie logiczne. W przeciwieństwie do innych tekstów, traktuje zbiory danych jako podstawowe pojęcie, wypełniając w ten sposób lukę między językami programowania a językami reprezentacji wiedzy; i traktuje aktualizacje na równi ze zbiorami danych, prowadząc do solidnego i praktycznego traktowania działań i zmian ". - Bob Kowalski, emerytowany profesor Imperial College London.

"W świecie, w którym Deep Learning i Python są tematem dnia, ta książka jest niezwykłym wydarzeniem. Wprowadza czytelnika w podstawy tradycyjnego programowania logicznego i wyjaśnia korzyści płynące z wykorzystania tej technologii do tworzenia wykonalnych specyfikacji dla złożonych systemów". - Son Cao Tran, profesor informatyki na Uniwersytecie Stanowym Nowego Meksyku.

"Doskonałe wprowadzenie do podstaw programowania logicznego. Książka jest dobrze napisana i dobrze skonstruowana. Pojęcia są jasno wyjaśnione, a stopniowo rosnąca złożoność ćwiczeń sprawia, że można szybko zrozumieć łatwe pojęcia, zanim przejdzie się do trudniejszych pomysłów". - George Younger, student, Uniwersytet Stanforda.