eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingProlog - nawracanie - jak jest implementowaneRe: Prolog - nawracanie - jak jest implementowane
  • 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.

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: