Mam takie zagadnienie abstrakcyjne.

Jest baza faktów. Ma ona budowę bardziej hierarchiczną niż typowe
tabelki. Obrazowo mogę ją mniej więcej przedstawić tak:

a) Są domy
b) W domach siedzą ludzie w róznych ilościach
c) Ludzie mają znajomych ludzi (relacje jeden-do-wielu)
d) Ludzie siedzą u siebie, u znajomych, na ulicy
e) Ludzie mają różne dobra
f) Ludzie czasem są rodzinami, mają przodków, dzieci itd
g) Ludzie współdzielą dobra w rodzinie i nie tylko
h) Dobra naleą do wielu kategorii
....
Można tak dużo pisać. Baza ba bardzo wiele ukrytych relacji
hierachicznych typu "dziadek sąsiada co ma telewizor pacujący z moją
matką ma na imię Heniek".

Potrzebuje przekopać taką bazę pod kontem zapytań w stylu:
"Ilu moich sąsiadów ma tostery?"
"Kim jest ten koleś co ma psa i pracuje z moją ciotką?"
"Kto był wczoraj na imprezie łysego w okularach?"
"Czy którykolwiek z informatyków ma dziewczynę?"
"Czy ta dziewczyna z domu obok pracowała z moim kolegą ze studiów?"

Bazę mam w postaci zywych struktur w pamięci i mogę je zserializować
praktycznie do dowolnej postaci. Pomyślałem: może prolog? W zasadzie
powinien móc mi tą bazę przekopać w sposób sprawniejszy niż SQL badź
jakieś rękodzieło. Zaznaczam że pomimo że w prologu trochę pisałem,
jestem technicznie zerem.

Pytanie: jaką literaturę mam przeczytać, aby rzucić światło na
rozwiązania tego typu problemów w Prologu? Wydaje mi się że wszelkie
ogólne ksiązki Prologowe jakoś niespecjalnie zajmują się tego typu
tematyką, przynajmniej w tych do których mam obecnie dostęp nie znajduje
odpowiedzi na pytanie jak taki temat ugryźć. Danych jest bardzo dużo,
relacje są skomplikowane i robienie tego bez wskazówek kogoś
doświadczonego raczej nie jest dobrym pomysłem.

Dlaczego Prolog? Nie wiem, to jeden z eksperymentów. I co ważne: to nie
jest problem akademicki: jeśli Prolog ułatwi mi życie to zostanie
zaembedowany w aplikacji. I nie, baza nie zawiera *takich* danych, ale
myślę że podobne, na tyle by róznice nie wpływały istotnie na sens
problemu. Na szczęscie dane są ścisłe, czyli nie interesuje mnie obraz
statystyczny tylko *fakty*.

Dlaczego nazywam to hierarchiczną bazą danych? Też nie jestem pewny tej
nazwy, wydaje mi się że dane są uporządkowane bardziej "kto jest czyim
wlascicielem" przy czym na róznych płaszczyznach. Byc może jestem w błędzie.