"sorteerimispredikaadi" - 1 õppematerjal

Loogilise programmeerimise 1.kontrolltöö konspekt

Esitavad järjestatud elementide korteeže List unifitseerub • ühe muutujaga List = [a, d, f, [s, f, [],d]] • Listi erinevaid osi adresseerivate muutujatega, kui on mitte-tühi list [Head|Tail] Head (listi pea) - listi ilmutatult viidatavad esimesed elemendid Tail (listi saba) – ülejäänud listi elemendid | - eraldussümbol. 1. Termi konverteerimine listiks ja vastupidi ”= ..”. Tulemuseks list, mille peaks on predikaadi nimi ja sabaks predikaadi argumendid. Sorteerimispredikaadi defineerimine: - Ordering := < , kui aritmeetiline järjestamine - Ordering := aless , kui alfabeetiline järjestamine, kus 7.2 Semantilised võrgud Semantiline võrk (SV) on diagramm, mis esitab objekte, nende omadusi ja objektide vahelisi seoseid. SV annab mõistete konteksti ja aitab selgitada valdkonna mõistete tähendust. SV graafiline esitus: - tipud: objektid ja nende omadused - kaared (suunatud): näitab objektidevahelisi seoseid ja objektide seost omadustega NB