Question  |
Answer |
|
start learning
|
|
program to ciąg instrukcji dla komputera, wynik to końcowy stan pamięci
|
|
|
|
start learning
|
|
podiał zadania na podzadania i ich implementacja w postaci procedur
|
|
|
|
start learning
|
|
używanie struktur programistycznych (sekwencja, instrukcje warunkowe, pętle, rekurencja)
|
|
|
|
start learning
|
|
główna koncepcja - obiekt, program to zbiór obiektów, wynik - stan końcowy obiektów
|
|
|
|
start learning
|
|
programista określa co komputer ma osiągnąć
|
|
|
|
start learning
|
|
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)
|
|
|
|
start learning
|
|
program - formuły logiczne: aksjomaty i twierdzenia, program - sprawdzenie poprawności twierdzenia, wynik - powodzenie lub niepowodzenie poprawności twierdzenia
|
|
|
|
start learning
|
|
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.
|
|
|
|
start learning
|
|
zbiór dopuszczalnych wartości, określenie precyzji, zbiór dozwolonych operatorów i operacji
|
|
|
|
start learning
|
|
dynamiczne - przypisanie bytom(zmienna, operator) atrybutów (wartości, adresy) w trakcie działania programu, Statyczne - przed lub w trakcie kompilacji
|
|
|
|
start learning
|
|
reguły składania i wykonywania obliczeń, w których podstawowym elementem składowym jest funkcja.
|
|
|
|
start learning
|
|
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)
|
|
|
|
start learning
|
|
opisywanie i rozwiązywanie problemów za pomocą predykatów i zdań logicznych
|
|
|
|
start learning
|
|
W przypadku niepowodzenia (otrzymanie wartości fałsz), wróć do takiego miejsca, w którym stosując rezolucję możesz uzyskać inne wyrażenie
|
|
|
|
start learning
|
|
czy 2 termy są identyczne, lub mogą stać się identyczne za pomocą podstawiania
|
|
|
|
start learning
|
|
wnioskowanie (x->y, y->z to x->z)
|
|
|
|
start learning
|
|
Jeśli Prolog natrafi na operator odcięcia w regule, nie będzie nawracał z wyborem do wcześniejszych możliwości
|
|
|
|
start learning
|
|
dochodzeniu do nowych twierdzeń na podstawie już znanych faktów i reguł
|
|
|
