-
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!.POSTED!not-for-mail
From: Sebastian Biały <h...@p...onet.pl>
Newsgroups: pl.comp.programming
Subject: Re: Prolog - nawracanie - jak jest implementowane
Date: Sun, 09 Sep 2012 11:13:52 +0200
Organization: ATMAN - ATM S.A.
Lines: 27
Message-ID: <k2hmkh$ii6$1@node1.news.atman.pl>
References: <k2g70g$8hs$1@node1.news.atman.pl>
<6...@4...com>
NNTP-Posting-Host: 83.142.222.167
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: node1.news.atman.pl 1347182033 19014 83.142.222.167 (9 Sep 2012 09:13:53
GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Sun, 9 Sep 2012 09:13:53 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.9.1.16)
Gecko/20101125 Thunderbird/3.0.11
In-Reply-To: <6...@4...com>
Xref: news-archive.icm.edu.pl pl.comp.programming:199443
[ ukryj nagłówki ]On 2012-09-09 00:25, A.L. wrote:
>> Nadszedł ten moment kiedy czas na Prolog...
> Tak na marginesie... Skad wiesz ze Prolog to wlasnei wlasciwe
> narzedzie do tego co chcesz robic? I wlasciwie CO chcesz robic?
Nie wiem czy się nadaje. Wlasnie dlatego chce się z nim wziąśc za bary
ponieważ po kilku probach na syntetycznej bazie *wydaje* mi się że jego
składnia lepiej wyraża to co chce z mojej bazy wyczytać.
Innymi słowy: to co w tej chwili opisuje mi algorytm w języku
imperatywnym w kilkuset linijkach udalo mi się zredukować do kilku w
języku logicznym. Przy czym te kilka linijek opisuje to co chcę w sposób
nieporównywalnie czytelniejszy. Chwoliwo podstawowy zysk jaki widzę to
czytelnośc zapytań.
Odrzucam na razie problemy wydajności, sposoby komunikacji itp rzeczy
skupiając się na powaznym (dla mnie) problemie wyrażenia treści zapytania.
A co chce uzyskać: analogia jest taka że mam bazę faktów, np. obecności
pojazdów na skrzyzowaniach, stanu świateł, ruchu pieszych, rucho
komunikacji publicznej. Chcę z takiej bazy, posiadającej dużo niejawnych
relacji (np. czerwony samochód który był 3 minuty temu na skrzyżowaniu X
teraz przejechal na czerwonym skrzyzowaniu Y) wydobyć pewne scieżki
przyczynowo-skutkowe. Rzeczywisty problem jest z innej, odległej
dziedziny, ale analogia z ruchem ulicznym dobrze go przybliża.
Czy Prolog? Nie wiem. Ale warto spróbować choćby dla doświadczenia.
Następne wpisy z tego wątku
- 09.09.12 16:04 A.L.
- 09.09.12 16:21 A.L.
- 09.09.12 17:38 A.L.
- 09.09.12 20:48 AK
- 09.09.12 21:40 A.L.
- 09.09.12 21:45 Michoo
- 09.09.12 23:59 n...@m...invalid
- 10.09.12 01:38 A.L.
- 10.09.12 13:22 n...@m...invalid
- 10.09.12 15:45 A.L.
Najnowsze wątki z tej grupy
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
Najnowsze wątki
- 2025-03-31 Kraków => IT Expert (Network Systems area) <=
- 2025-03-31 Białystok => NMS System Administrator <=
- 2025-03-31 Częstochowa => Product Manager - Systemy infrastruktury teleinformaty
- 2025-03-31 Sąd/Sędzia odrzuca wniosek o 30d aresztu Ziobry i jedzie po PO-Komisji Sroki [i Ziobrze w GW wersji]
- 2025-03-31 Warszawa => Sales Executive / KAM <=
- 2025-03-31 Warszawa => International Freight Forwarder <=
- 2025-03-31 Re: Państewko prawka Rumunia czyli pokaz UE leworządności - lider unieważnionych wyborów niedopuszczony do powtórki
- 2025-03-31 Dęblin => JavaScript / Node / Fullstack Developer <=
- 2025-03-31 Re: Kompensacja mocy biernej przy 230VAC
- 2025-03-31 Re: Kompensacja mocy biernej przy 230VAC
- 2025-03-31 Wrocław => Senior Backend Developer <=
- 2025-03-31 Białystok => Generative AI Engineer <=
- 2025-03-31 China-Kraków => Key Account Manager IT <=
- 2025-03-31 Prawne ciekawostki: Ksiądz KRK wygrał ze swoim biskupem sprawę o "naruszenie dóbr osobistych" [SN oddalił kasacje]
- 2025-03-31 Podatek od "konta wspólnego"