6
ROZDZIAŁ 1. PODSTAWY
dygmat (sposób) programowania posługujący się pojęciem obiektu jako metody reprezentacji danych w programie.
• Każdy obiekt, będący instancją pewnej klasy, posiada zbiór cech (będących zmiennymi pewnych typów) go opisujących oraz zbiór metod (funkcji) których wywołanie na rzecz tego obiektu ma sens.
• W tym ujęciu, klasa zdefiniowana przez programistę, staje się nowym typem, który może być używany na równi z typami wbudowanymi.
• Z OOP nierozerwalnie związane są pojęcia enkapsulacji danych, dziedziczenia i polimorfizmu.
Wiedząc czym są, najlepiej chyba wszystkim znane, obiekty z języków zorientowanych obiektowo wystarczy teraz powiedzieć, że obiekt Prologowy nie jest takim właśnie obiektem nawet w najmniejszej części. Jaki więc jest?
1.2.2 Obiekt w Prologu
Obiekt w sensie Prologu jest czymś, co możemy nazwać bytem. Nie definiujemy z czego się on składa i co można z nim zrobić (co ma miejsce w OOP), ale jaki jest. Dodatkowo, dla każdego obiektu definiujemy relacje jakim obiekt ten podlega. Przy pomocy obiektów opisujemy interesujący nas wycinek świata. Działanie programu prologowego objawia się możliwością stawiania pytań związanych z uprzednio opisanym światem.
Najprostszym sposobem opisu świata (problemu), jest podanie faktów z nim związanych, jak na przykład
ciezszy( pomarańcz .jabłko ). ciezszy (jabłko .mandarynka), ciezszy (arbuz .pomarańcz), ciezszy (jabłko .winogrono).
Powyższe fakty stwierdzają, że
• ciezszy (pomarańcz, jabłko). - pomarańcz jest cięższa od jabłka,
• ciezszy (jabłko, mandarynka). - jabłko jest cięższe od mandarynki,
• itd.