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:

Jest to wprowadzenie do teorii programowania logicznego, aktualnej technologii i popularnych zastosowań. Jest to innowacyjne, modelowo-teoretyczne podejście do programowania logicznego.

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.

Rozpoczyna się od podstawowego pojęcia zbiorów danych, tj. zbiorów atomów. Biorąc pod uwagę to fundamentalne pojęcie, wprowadza następnie widoki, tj. wirtualne relacje; i definiuje klasyczne programy logiczne jako zbiory definicji widoków, napisane przy użyciu tradycyjnej notacji podobnej do Prolog, ale z semantyką podaną w kategoriach zbiorów danych, a nie implementacji. Następnie wprowadza akcje, tj. dodawanie i usuwanie atomów gruntu; i definiuje dynamiczne programy logiczne jako zbiory definicji akcji.

Oprócz drukowanej książki, dostępna jest 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.