Programowanie logiczne
Z Wikipedii
Programowanie logiczne (nazywane także programowaniem w logice lub programowaniem w języku logiki) to będąca odmianą programowania deklaratywnego metoda programowania, 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ć, czy w danym grafie skierowanym istnieje ścieżka z pewnego punktu do pewnego innego punktu. Krawędzie zapisane są relacją edge(Skąd, Dokąd). Nasz program wyglądałby w Prologu tak:
connected(X, Y) :- X = Y. connected(X, Y) :- edge(X,Z), connected(Z, Y).
Co czytamy następująco:
- istnieje ścieżka z X do Y, jeśli X = Y
- istnieje ścieżka z X do Y, jeśli dla jakiegoś Z istnieje krawędź z X do Z, oraz ścieżka z Z do Y
Programowanie logiczne umożliwia łatwy zapis wielu algorytmów, a programy logiczne w przeciwieństwie do imperatywnych łatwo też wykonywać równolegle.
| Krzysztof Moska ma ponad 5 proc. Plast-Boksu |
|
Krzysztof Moska po nabyciu 4 września w pozasesyjnej transakcji pakietowej 100.000 akcji Plast-Boksu zwiększył liczbę posiadanych akcji do 300.000, co stanowi 6,8 proc. kapitału zakładowego i daje 5,9 proc. głosów na WZA - podała spółka w komunikacie.
|
| DJ MARKET COMMENT: European Stocks End Up On U.S. Mtge Plan |
|
European shares surged Monday, with financials rallying sharply in response to the U.S. government's plan to bail out home mortgage giants Fannie Mae and Freddie Mac.
|
| Regulator could fine Gazprom for restricting pipeline access |
|
The Russian Federal Antimonopoly Service (FAS) could for the first time fine gas monopoly Gazprom (RTS: GAZP) a portion of its turnover for restricting access to the gas pipeline network.
|
| Grad spotkał się ze związkowcami stoczni Szczecin |
|
Minister skarbu Aleksander Grad spotkał się w poniedziałek w resorcie z przedstawicielami związków zawodowych stoczni Szczecin w sprawie planu restrukturyzacji tego zakładu - poinformował rzecznik MSP Maciej Wewiór.
|
| S&P umieścił rating PTR na liście obserwacyjnej z pozytywną perspektywą |
|
Agencja ratingowa Standard & Poor's umieściła długoterminowy rating "BBB-" dla Polskiego Towarzystwa Reasekuracyjnego na liście obserwacyjnej z nastawieniem pozytywnym - podał S&P w komunikacie.
|