Search results
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.
16 gru 2017 · Program zawiera słownik około 260 wyrazów i wspiera ponad 70 poleceń, m.in. przewijania instrukcji do przodu i do tyłu, dodawania oraz usuwania notatek głosowych, czytania wybranych kroków itd. Oprogramowanie składa się z 6 głównych modułów, do których napisania wykorzystano kilka języków programowania.
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”. Dodatkowo relacja określa konkretną kolejność: John jest właścicielem książki, a nie książka właścicielem Johna.
W Prologu na ogół rozwiązanie jest analogiczne, tyle że skutkiem jest zwiększenie arności predykatu o 1. Tak może wyglądać efektywna implementacja silnii: fact ( N , F ) :- fact ( N , 1 , F ).
Sekcja WIĘZY zawiera wpisy dotyczące technologii więzów (ang. constraint programming). Kolejna sekcja ZAGADKI przedstawia zastosowanie Prologu do rozwiązywania zagadek logicznych jakie można znaleźć w wyśmienitych książkach Raymonda Smullyana.
PROLOG dostępny jest na wielu mikrokomputerach opartych na mikroprocesorach: Z-80 — pod systemem CP/M-80 oraz 8088/86 podsystemem MSDOS i komputerach wyposażonych w system operacyjny UNIX. Implementacją PROLOG-u na komputer ZX--Spectrum jest micro-PROLOG.
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.
