Prolog (PROgramming LOGic)
|
| Prolog on formaalloogikal põhinev kõrgkeel. Erinevalt tavalistest programmikeeltest, mille aluseks on käskude täitmine etteantud järjekorras, suudab Prolog defineerida ja seejärel lahendada loogikavalemeid. Prolog’i kutsutakse vahel ka deklaratiivkeeleks või reegelkeeleks, sest selles keeles kirjutatud programmid koosnevad faktide ja reeglite loendist. Prolog’i kasutatakse laialdaselt tehisintellekti rakenduste, eriti ekspertsüsteemide loomisel |
|