paradygmaty

paradygmat imperatywny

program to ciąg instrukcji dla komputera, wynik to końcowy stan pamięci

paradygmat proceduralny

podiał zadania na podzadania i ich implementacja w postaci procedur

paradygmat strukturalny

używanie struktur programistycznych (sekwencja, instrukcje warunkowe, pętle, rekurencja)

paradygmat obiektowy

główna koncepcja - obiekt, program to zbiór obiektów, wynik - stan końcowy obiektów

paradygmat deklaratywny

programista określa co komputer ma osiągnąć

paradygmat funkcyjny

program - zbiór funkcji, program - zbiór funkcji, wynik - wartość funkcji głównej, brak dostępu do stanu maszyny, nie ma tradycyjnych zmiennych i pętli (tylko rekurencja)

paradygmat logiczny

program - formuły logiczne: aksjomaty i twierdzenia, program - sprawdzenie poprawności twierdzenia, wynik - powodzenie lub niepowodzenie poprawności twierdzenia

semantyka i syntaktyka

Semantyka - znaczenie form zapisanych zgodnie ze składnią języka, czyli „co one robią”. Syntaktyka - zbiór reguł, mówiących jak wygląda poprawny program w danym języku.

typ zmiennej

zbiór dopuszczalnych wartości, określenie precyzji, zbiór dozwolonych operatorów i operacji

wiązania

dynamiczne - przypisanie bytom(zmienna, operator) atrybutów (wartości, adresy) w trakcie działania programu, Statyczne - przed lub w trakcie kompilacji

rachunek lambda

reguły składania i wykonywania obliczeń, w których podstawowym elementem składowym jest funkcja.

leniwa ewaluacja

Wyrażenia nie są obliczane w momencie wiązania ich do zmiennej, ale dopiero, gdy napotkane zostanie odwołanie do konkretnego wyniku. (take 10 from x może potencjalnie generować nieskończoną liste, ale nadal się wykona, bo cała lista nie jest potrzebna)

rachunek predykatów

opisywanie i rozwiązywanie problemów za pomocą predykatów i zdań logicznych

nawroty

W przypadku niepowodzenia (otrzymanie wartości fałsz), wróć do takiego miejsca, w którym stosując rezolucję możesz uzyskać inne wyrażenie

unifikacja

czy 2 termy są identyczne, lub mogą stać się identyczne za pomocą podstawiania

rezolucja

wnioskowanie (x->y, y->z to x->z)

odcięcia

Jeśli Prolog natrafi na operator odcięcia w regule, nie będzie nawracał z wyborem do wcześniejszych możliwości

Wnioskowanie

dochodzeniu do nowych twierdzeń na podstawie już znanych faktów i reguł