Search results
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”.
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.
Osobom, które nigdy wcześniej nie miały do czynienia z Prologiem, zalecam rozpoczęcie czytania stron od krótkiego WSTĘPU objaśniającego najważniejsze elementy języka. W sekcji PODSTAWY znajdują się wpisy omawiające podstawowe konstrukcje jakie używa się przy tworzeniu programów w Prologu.
16 gru 2017 · Do czego konkretnie wykorzystali język Prolog inżynierowie Nokii w działających pod kontrolą opartego na Linuksie systemu Maemo? Zastosowaniem tym okazała się implementacja reguł zarządzania politykami w module maemo-multimedia.
18 sie 2017 · Prolog jest językiem programowania w logice. Jest językiem deklaratywnym, co oznacza, że nie ma potrzeby tworzenia algorytmu, który rozwiązuje problem – należy za to opisać problem tak, by system mógł sam wywnioskować, jakie jest jego rozwiązanie.
Gorąco polecam strony zawierające dokumentacje i implementacje systemów Prolog I, Prolog II, Prolog III i Prolog IV: prolog-heritage.org To są prawdziwe kamienie milowe w badaniach nad programowaniem w logice!
PROLOG jest nazywany językiem programowania logicznego. Podstawą dla jego utworzenia była logika predykatów pierwszego rzędu oraz zasada rezolucji. Program napisany w języku Prolog składa się z dwóch głównych elementów: faktów, które można traktować jako aksjomaty pewnej teorii oraz reguł wnioskowania dla tej teorii.
