Miedzy programowaniem a wnioskowaniem

Na czym polega paradygmat programowania imperatywnego? paradygmat programowania, który opisuje proces wykonywania jako sekwencję instrukcji zmieniających stan programu
Zwrot „istnieje X …” w logice klasycznej nazywany jest kwantyfikatorem. Do jakiej grupy jest on zaliczany? Egzystencjalny
Wiedząc, że w regułowych językach „oprogramowaną” rzeczywistości przedstawia się za pomocą faktów i reguł, wskaż z poniższych wypowiedzi definicję reguł mówią jak należy wnioskować o nowych zależnościach
Czy w języku Prolog lub Katalog można zdefiniować regułę w postaci W:- A lub B? tak, można zdefiniować taką regułę ale nie w sposób bezpośredni
Które z poniżej wymienionych języków programowania realizują paradygmat programowania deklaratywnego? Lips
Na czym polega metoda wstępująca? Wybierz poprawną odpowiedź. zaczynając od faktów generujemy wszystkie możliwe wnioski
Która, z poniższych wypowiedzi jest definicją reguły w języku Prolog? R1(t1,…,tn1):- R2(s1,…sn2),…,Rk(u1,…,unk)
Na czym polega rekurencja w językach regułowych polega na ustaleniu nowego faktu o obiekcie wykorzystując pewne już wnioskowanie o tym obiekcie
Wskaż z podanych poniżej odpowiedzi co jest podstawową struktura danych w języku Prolog: Listy
Która z poniższych odpowiedzi jest prawidłowym sposobem modelowania w oparciu a reguły?: identyfikacja przedmiotów(obiektów) -> określenie pojęć i atrybutów -> określenie występujących relacji