Next: Resolutsioonireegel (resolution)
Up: No Title
Previous: Programmide süntees (synthesis of
- 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