Search results
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.
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.
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.
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.
W programie prologowym nie mówimy krok po kroku, co należy zrobić żeby dane zadanie czy problem rozwiązać. Zamiast tego po prostu *deklarujemy* jakie warunki powinno spełniać jego rozwiązanie.
Polega ona na wyeliminowaniu konieczności używania stosu. W językach funkcyjnych na ogół uzyskuje się ją poprzez użycie funkcji pomocnicznej. Oto dwa przykłady rekursji nieogonowej i ogonowej odpowiednio w odwracaniu listy (OCaml): let rec reverse = function []-> [] | x:: xs-> reverse xs @ [x];; [] jest listą pustą, x::xs listą o ...
