On 2014-05-25 19:25, A.L. wrote:
> Ale wracajac do pryncypiow: malo sensowne wydaje mi sie wybieranie
> jezyka ZANIM sie sformuluje problem w miare scicly i formalny sposob.
> Moze w ogole zadne "programwoani w logice" nei jest potzrebne?

Byc może. Chcę to sprawdzić doświadczalnie. Mam część zapytań w postaci
kodu w C++ i działa. Nie podoba mi się jednak, język silnie typowany nie
pozwala mi się skupić na istocie problemu. Pozwolił mi jednak dowieść że
dane jestem w stanie odzyskać zgodnie z pomyslem. Teraz rozglądam się za
czymś do programowania logicznego bo być może uzyskam to samo prościej
(w zapisie). Języka nie wybieram jeszcze. Na razie stukam i pukam w
problem w celu zbadania czy można i jak można.

> W kazdym razie, za darmo udzielam porady: uzywalem Prologa do
> aplikacji komercyjnych przez 10 lat. Napisalem cwierc miliona linii
> kodu. I gdybym mial robic podobna rzecz drugi raz, zastanowilbym sie
> dobzre czy wybrac Prolog. Po 10 latach Prolog zostal wywalony co
> wsztscy przyjeli z ulga. Co zamiast Prologu? Program w Javie
> implementujeccy to co tzreba i tylko to co tzreba

Jedną z opcji do rozważenia jest dokładnie takie coś. Zamiast Java -
JavaScript, aby było łatwiej embedować. Ba, to doświadczenie mam już za
sobą i w zasadzie dało by radę. Jednak dalej ilośc kodu emulująca zapis
logiczny jest znaczna. W ogóle zapisywanie zapytań w językach
imperatywnych wygląda na przekomplikowane i gubi sens.

Język jest mało ważny. Ma być tylko znany i embedowalny. Prolog to
eksperyment. Może nie będzie warto a może będzie. Chcę sprawdzić.
Dlatego pytam jak sprawdzić w Prologu.