next up previous contents
Next: Resolutsioonireegel (resolution) Up: No Title Previous: Programmide süntees (synthesis of

Prolog

- Predikaatarvutusel põhinev programmeerimiskeel, mida kasutatakse peamiselt tehisarutehnika ülesannete lahendamisel. PROLOG-programm on Horni lausetega esitatav faktide ja reeglite kogum, milles eesmärgipärast otsimist teostatakse resolutsiooniprintsiibil baseeruvate tuletusreeglite alusel.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996