vti.laborator.org/lgp

Prolog v praxi

Zlatá horečka

Zlatá horečka ve Spojených státech mohla být mnohem efektivnější, kdyby využívala Prolog. Goldfinger je znalostní systém, který radí při průzkumu geologům kde hledat zlato. Vyvinut D. D. Hawksem v MacPrologu od Logic Programming Associates z Londýna, Goldfinger hodnotí potenciály nalezišť zlata a radí ohledně umístění vrtů. Geologická mapa naleziště je primárním zdrojem vstupních dat. Znalosti jsou uloženy částečně v sémantické síti, ale hlavně v produkčních pravidlech. Skrze dotazy na uživatele si systém vytvoří sofistikovanou dynamickou databázi obsahující informace o petrografii, povaze mineralogických změn, a strukturálních vlastnostech naleziště. Průnikovou metodou systém určí místo vrtu s přesností ovlivněnou pouze měřítkem mapy. Tak vyrazte do hor ... ale neberte si s sebou své C++ kompilátory.