"literaalist" - 1 õppematerjal

Loogilise programmeerimise 1.kontrolltöö konspekt

Samanimeliste kvantorite järjekorra vahetamine on lubatud. Erinevat tüüpi kvantorite kohti ei saa vabalt vahetada!!! Loogiline programm on Horni disjunktsioonide (disjunktiivsete valemite) kogu, kus ükski valem ei sisalda üle ühe positiivse literaali. Kui q1,..., qn on tõesed, siis on ka p tõene” ehk ”Lausetest q1,..., qn järeldub lause p . q Horni lausete tüübid: • Fakt – HL, millel puudub keha e. ainsast positiivsest literaalist koosnev lause: • Reegel - HL, millel on pea ja keha e. ühest positiivsest ja vähemalt ühest negatiivsest literaalist koosnev disjunktsioon. • Päring – HL, millel on ainult keha e. vähemalt ühest negatiivsest literaalist koosnev disjunktsioon. Øpäring Prologis on otsingut käivitav käsk, näiteks ?- isa(juku,X). Suletud maailma eeldus: tõene on ainult see väide, mille tõesuse saab Prolog programmis tuletada olemasolevatest faktidest. NB