Prolog. Programowanie

Description

Programowanie w Prologu różni się zasadniczo od programowania w językach strukturalnych, takich jak Pascal czy C i językach obiektowych jak Java. Dla wielu osób zaczynających przygodę z Prologiem zaskoczeniem jest fakt, że pisanie programu w tym języku nie polega na kodowaniu algorytmu. Programista opisuje obiekty i związki między nimi, a także podaje warunki, jakie powinno spełniać szukane rozwiązanie. System sam przeprowadza obliczenia w oparciu o podane zależności logiczne, zaś programista jedynie częściowo może wpływać na sposób działania programu. Książka "Prolog. Programowanie" to podręcznik tego niezwykłego języka programowania stosowanego przy rozwiązywaniu problemów z różnych dziedzin: od logiki matematycznej i symbolicznego rozwiązywania równań przez analizę języka naturalnego, aż do zagadnień związanych ze sztuczną inteligencją. Zawiera ona: Wprowadzenie do Prologu Podstawowe struktury danych Nawracanie, sterowanie nawracaniem za pomocą symbolu odcięcia Operacje wejścia/wyjścia Predykaty Składnię reguł gramatycznych i analizę języka naturalnego Wiele przykładowych programów Wszystkim rozdziałom towarzyszą ćwiczenia. Uzupełnieniem tekstu książki są dodatki omawiające m.in. rozwiązania ćwiczeń i różnice między najważniejszymi wersjami Prologu. "Prolog. Programowanie" to książka dla studentów matematyki i informatyki, a także dla wszystkich zainteresowanych programowaniem opartym na regułach logicznych. Jeśli chcesz podjąć wyzwanie i nauczyć się Prologu, jest książka dla Ciebie. Wstęp (7) Rozdział 1. Wprowadzenie (11) Prolog (11) Obiekty i relacje (12) Programowanie (13) Fakty (14) Zapytania (16) Zmienne (17) Koniunkcje (19) Reguły (23) Podsumowanie i ćwiczenia (28) Rozdział 2. Prolog z bliska (31) Składnia (31) Stałe (32) Zmienne (32) Struktury (33) Znaki (34) Operatory (35) Równość i unifikacja (37) Arytmetyka (38) Spełnianie celów - podsumowanie (42) Udane spełnienie koniunkcji celów (42) Cele i nawracanie (45) Unifikacja (47) Rozdział 3. Korzystanie ze struktur danych (49) Struktury a drzewa (49) Listy (51) Przeszukiwanie rekurencyjne (54) Odwzorowania (57) Porównywanie rekurencyjne (60) Łączenie struktur (62) Akumulatory (66) Struktury różnicowe (68) Rozdział 4. Nawracanie i odcięcie (71) Generowanie wielu rozwiązań (72) Odcięcie (75) Typowe zastosowania odcięcia (80) Potwierdzanie wyboru reguły (80) Użycie odcięcia z predykatem fail (84) Kończenie generowania możliwych rozwiązań i ich sprawdzanie (86) Niebezpieczeństwa wynikające ze stosowania odcięcia (89) Rozdział 5. Wejście i wyjście (91) Czytanie i pisanie termów (92) Czytanie termów (92) Pisanie termów (93) Czytanie i pisanie znaków (96) Czytanie znaków (96) Pisanie znaków (97) Wczytywanie zdań (98) Czytanie z plików i pisanie do plików (101) Otwieranie i zamykanie strumieni (102) Zmiana bieżącego strumienia wejściowego i wyjściowego (103) Konsultowanie (104) Deklarowanie operatorów (105) Rozdział 6. Predykaty wbudowane (107) Wprowadzanie nowych klauzul (107) Sukces i porażka (109) Klasyfikacja termów (110) Przetwarzanie klauzul jako termów (111) Tworzenie składników struktur i sięganie do nich (114) Wpływ na nawracanie (118) Tworzenie celów złożonych (119) Równość (122) Wejście i wyjście (122) Obsługa plików (124) Wyliczanie wyrażeń arytmetycznych (124) Porównywanie termów (126) Badanie działania Prologu (127) Rozdział 7. Przykładowe programy (129) Sortowany słownik w formie drzewa (129) Przeszukiwanie labiryntu (132) Wieże Hanoi (135) Program magazynowy (136) Przetwarzanie list (137) Zapis i przetwarzanie zbiorów (140) Sortowanie (142) Użycie bazy danych (145) random (145) gensym (146) findall (147) Przeszukiwanie grafów (149) Odsiej Dwójki i odsiej Trójki (153) Różniczkowanie symboliczne (155) Odwzorowywanie struktur i przekształcanie drzew (157) Przetwarzanie programów (160) Literatura (163) Rozdział 8. Usuwanie błędów w programach prologowych (165) Układ programów (166) Typowe błędy (168) Śledzenie programu (171) Śledzenie i punkty kontrolne (177) Sprawdzanie celu (179) Sprawdzanie przodków (180) Zmiana poziomu śledzenia (181) Zmiana sposobu spełnienia celu (182) Inne opcje (183) Podsumowanie (184) Poprawianie błędów (184) Rozdział 9. Użycie reguł gramatycznych w Prologu (187) Parsowanie (187) Problem parsowania w Prologu (190) Notacja reguł gramatyki (194) Dodatkowe argumenty (196) Dodatkowe warunki (199) Podsumowanie (201) Przekształcanie języka na logikę (202) Ogólniejsze zastosowanie reguł gramatyki (204) Rozdział 10. Prolog a logika (207) Krótkie wprowadzenie do rachunku predykatów (207) Postać klauzulowa (210) Zapis klauzul (215) Rezolucja i dowodzenie twierdzeń (216) Klauzule Horna (220) Prolog (220) Prolog i programowanie w logice (222) Rozdział 11. Projekty w Prologu (225) Łatwiejsze projekty (225) Projekty zaawansowane (227) Dodatek A Odpowiedzi do niektórych ćwiczeń (231) Dodatek B Klauzulowa postać programów (235) Dodatek C Przenośne programy w standardowym Prologu (241) Przenośność standardu Prologu (241) Różne implementacje Prologu (242) Czego się wystrzegać (243) Definicje wybranych predykatów standardowych (244) Przetwarzanie znaków (245) Dyrektywy (247) Wejście i wyjście strumieniowe (247) Różne (249) Dodatek D Różne wersje Prologu (251) Dodatek E Dialekt edynburski (255) Dodatek F micro-Prolog (263) Skorowidz (267)