Search results
programowanie deklaratywne (a nie proceduralne), indeterminizm, brak rozr oznienia_ we/wy (relacje vs. funkcje), rekurencja, brak "instrukcji". ALGORYTM = LOGIKA + STEROWANIE uni kacja (dopasowanie wzorca), rezolucja (wnioskowanie), strategia SLD (sterowanie wnioskowaniem).
Prolog jest językiem programowania służącym do rozwiązywania problemów, które dotyczą obiektów i relacji między obiektami. Mówiąc „John ma książkę.”, deklarujemy relacje między obiektem „John”, a drugim indywidualnym obiektem „książka”.
Język programowania – zbiór zasad określających kiedy ciąg symboli tworzy program (czyli ciąg symboli opisujący obliczenia) oraz jakie obliczenia opisuje.
Co to jest Prolog? Prolog jest językiem programowania. Mówi się, że jest on językiem deklaratywnym. Oznacza to, że nie zapisuje się w nim algorytmu rozwiązującego problem. Zamiast tego opisuje się problem tak aby system mógł sam wywnioskować jakie jest rozwiązanie zdefiniowanego problemu.
Programowanie logiczne (nazywane także programowaniem w logice lub programowaniem w języku logiki) – metoda programowania, będąca odmianą programowania deklaratywnego, w której program podawany jest jako pewien zestaw zależności, a obliczenia są dowodem pewnego twierdzenia w oparciu o te zależności. Na przykład chcemy stwierdzić ...
Algorytm = Logika + Sterowanie. Krótkie wprowadzenie. Nazywam się Przemysław Kobylański i witam na stronach poświęconych jednemu z ciekawszych języków programowania. Programuję w Prologu od roku 1986 i wydaje mi się, że mogę służyć swoim doświadczeniem wszystkim chcącym nauczyć się tego języka.
Wprowadzenie do logiki, istota logiki, rola i zadania logiki, obszary zastoso-wan.´ Rola i znaczenie jezyka.˛ Składnia, semantyka, interpretacja, model. Własnosci logiczne.´ Wywód. Pojecie˛ logicznej konsekwencji. Przykłady formalizacji problemów. Jezyk˛ rachunku zdan. Składnia i semantyka. Reguły przekształcania for-´ muł.
