-
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!goblin3!goblin.stu.neva.ru!news.ripco.com!news.glorb.com!news-in-01.ne
wsfeed.easynews.com!easynews!core-easynews-01!easynews.com!en-nntp-16.dc1.easyn
ews.com.POSTED!not-for-mail
From: A.L. <l...@a...com>
Newsgroups: pl.comp.programming
Subject: Re: Prolog - nawracanie - jak jest implementowane
Message-ID: <2...@4...com>
References: <k2g70g$8hs$1@node1.news.atman.pl> <k2j3gu$pa5$1@news.icpnet.pl>
X-Newsreader: Forte Agent 4.2/32.1118
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
Lines: 41
X-Complaints-To: a...@e...com
Organization: Forte Inc. http://www.forteinc.com/apn/
X-Complaints-Info: Please be sure to forward a copy of ALL headers otherwise we will
be unable to process your complaint properly.
Date: Sun, 09 Sep 2012 18:38:50 -0500
X-Received-Bytes: 2721
Xref: news-archive.icm.edu.pl pl.comp.programming:199453
[ ukryj nagłówki ]On Sun, 09 Sep 2012 23:59:58 +0200, n...@m...invalid wrote:
>W dniu 8.09.2012 r. 21:41, Sebastian Biały pisze:
>> Nadszedł ten moment kiedy czas na Prolog...
>>
>> Ze względow praktycznych nie mogę tego zrobić za pomocą języka wprost.
>> Konkretnie nie mogę mojej bazy wiedzy skonwertować do postaci prologowej
>> bo zajmie to za duzo czasu (a i parsowanie potrwa wieki). Wolałbym zeby
>> móc operować na moich strukturach danych bezposrednio.
>>
>> Przypuszczam że jak poszukam czegoś w rodzaju "embedded prolog" to będe
>> mogł zrobić abstrakcję na dane i niczego nie konwertować.
>>
>> Jednak zanim to zrobie nurtuje mnie mały problem: nawracanie.
>>
>> Jak czytam dowolną ksiązkę o Prologu i autor dochodzi do problemu
>> nawracania to ani słowem nie wspomina że to powoduje coś na kształt
>> ekplozji kobinatorycznej. Konkretnie pewne dane są wyszukiwane w sposób
>> naiwny, czymś w rodzaju brute-force wielokronie przeczesując tą samą
>> przestrzeń faktów. Cieżko mi uwierzyć że tak wyglądają implementacje
>> Prologa jak opisywany jest algorytm.
>>
>> Głupi pomysł: zrobmy wyszukiwanie w mojej bazie typu Prolog-like. Język
>> i składnie pomińmy, chodzi o koncepcje zmiennych, ukonkretniania,
>> nawracania itp. Gdzie mogę poczytać o *algorytmach* rozwiązywania
>> zapytań w Prologu? Nie wierzę, że jest aż tak prymitywny jak opisywane w
>> książkach metody brute-force.
>>
>> Oczywiście wiem co wypluwa google na hasło "prolog solver" ale może ktoś
>> zna jakiś ciekawy tekst, może być "popularnonaukowy" opisujacy co i jak
>> w sposób mozliwe ogólny pozwalający zorientowac się w temacie.
>Poczytaj o propagacjach i dystrybucjach w Oz. Także por. search
>strategies Mozart/Oz:
><http://www.mozart-oz.org/documentation/tutorial/no
de12.html#chapter.lp>, p.
>12.7
>--HTH
A ty pzreczytales? Bo to akurat ma malo wspolnego z oryginalnym
pytaniem...
A.L.
Następne wpisy z tego wątku
- 10.09.12 13:22 n...@m...invalid
- 10.09.12 15:45 A.L.
Najnowsze wątki z tej grupy
- 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?
- sprawdzanie słów kluczowych dot. zła
Najnowsze wątki
- 2025-03-19 Kraków => IT Expert (Network Systems area) <=
- 2025-03-19 Ryga => Konsultant Wdrożeniowy Comarch XL/Optima (Księgowość i Kad
- 2025-03-19 China-Kraków => Senior PHP Symfony Developer <=
- 2025-03-19 Kraków => Programista MS Dynamics 365BC/NAV <=
- 2025-03-19 Warszawa => JavaScript / Node / Fullstack Developer <=
- 2025-03-19 Gdańsk => PHP Developer <=
- 2025-03-19 Kraków => MS Dynamics 365BC/NAV Developer <=
- 2025-03-19 Aresztowany na rok "powinien podziękować za to, że miał możliwość przebywania w zakładzie karnym, bo tam jego stan zdrowia się poprawił"
- 2025-03-19 Chrzanów => Specjalista ds. public relations <=
- 2025-03-19 China-Kraków => Key Account Manager IT <=
- 2025-03-19 Wrocław => Konsultant wdrożeniowy Comarch XL (Logistyka, WMS, Produk
- 2025-03-19 Prezydent Duda śmie szkalować bodnaturę niepokalanie poczętą, dwóch pełnomocników Geralda B. i "standardy Tuskie"
- 2025-03-18 Tesla na złom
- 2025-03-18 Ziobrotura 3.0 będzie w prawie przesłuchać "świadka" Tuska bez adwokata w sprawach Sienkiewicza/Bodnara/...?
- 2025-03-18 Produkty ,,Made in Germany" wciąż na topie - art. na www.dw.com