Ez a prolog szerintem nem valami gyors, legalábbis abból a végrehajtási mechanizmusból ítélve, amit nekünk tanítottak. Viszont valamelyik másik nyelvet (talán CAML) állítólag robotok irányítására is használják, ahol viszont hard realtime követelmények vannak. (Szerk.: és nemcsak hard realtime, hanem a rendelkezésre álló idõ is elég kicsi.)

értem, köszönöm a válaszokat. - az MMF is így mûködik nagyrészt egyébként(néhány dolgot leszámítva, amiket kattintgatással is elérhetsz), szóval nem volt annyira ismeretlen, csak éppen nem tudtam, hogy ez is nagyon hasonló. Sebességre ez milyen amúgy? Meg mivel érdemes összehasonlítani egyáltalán?

Az idézetbõl kimaradt egy link, ami fontos.

8 királynõ

A lényegi rész mindössze ennyi: ( % a comment jele)


nocheck(_,[]). -> ez azt jelenti, hogy a nocheck (nem fenyegetik egymást a királynõk) kijelentés igaz bármilyen elemre, ha egy üres lista van mellette. Az _ a bármi, a [] az üres lista. Mindig a megfelelõ predikátumot illeszti (akár többet is megpróbálhat, hogy kihozza az eredményt), ezt akkor fogja illeszteni, ha a lista kifogyott.
A másik nocheck azt mondja, hogy egy X/Y párosra (királynõ pozíciója) akkor lehet igaz, ha azok nem ütik a soron következõ királynõt, valamint az összes többit sem. Jól látszik a rekurzió.
A prolog listakezelése úgy mûködik, hogy van a listának feje és farka, a fej egy elem, a farok a többi. Egyszerre több fejet is meghatározhatunk.
üres lista: []
egy elemû lista: [fej]
egy egy legalább egy elemû lista [fej | farok]
legalább két elemû: [fej1 | fej2 | farok]

A legal az üres listára mindenképpen igaz.
Illetve akkor igaz, ha az elsõ elemre igaz a nocheck, az X 1-8 közé esik, valamint a többi elemre is igaz. Itt is el fog fogyni a lista, és a végén üres listára igaz lesz.

A trükk, hogy a következtetés akkor történik, amikor megkérdezzük, hogy mondjon egy olyan X listát, aminek az elemeire igaz a fenti állítás. A nem beidézett kódban szépen kitöltögeti az Y értékeket (arra nem volt megkötés, de tudjuk, hogy minden sorba kerül királynõ, így adhatunk neki olyan listát, ahová csak X-et kell neki találnia), és erre a listára kéri az X értékeket, ráadásul az összeset. Alapból egyet mondana, és kérésre többet is.

De írok egyszerûbb saját példát, rokonság:

Az elsõ három azok alap igazságok, a másik kettõ pedig általános szabályok. ennél összetettebbek is lehetnek, de már itt is látszik, hogy egy olyan parancsra, hogy Apa(X,"Sanyi". két klóz is illeszkedik, és X értékének két végeredményt is adhat.

Lényegében arrol van szo, hogy a programodat logikai formulákkal fogalmazod meg.
Most csak clipses példát tudok mondani (igen az a ronda).



Mivel a hihetelenül ocsmány szintaxis miatt nemtudtam megcsinálni a keresztrejtvény megoldó progit, ezért csináltam ilyen bugyuta milyen szgépet akarsz venni cuccot. Ebbe semmi marhaság nemkell.
Ez a clips konkrétan valami olyasmi, hogy vannak tények és vannak szabályok, aztán ezekböl szabályalapu következtetéssel kihoz valamit (megnemmondom hogy elöre vagy visszafele halado, de asszem vissza).

A barátom azt mondta, kérdezzem meg a barátnõmet, és õ ezt mondta: http://en.wikipedia.org/wiki/Declarative_programming

Szerk: egy teljesen triviális példa, ami csak az alaplogikát mutatja:


Ezután megkérdezzük, hogy: jfmodi(wtoma). mire közli, hogy 'yes', vagy jfmodi(kettosd) amire azt mondja, hogy 'no'. De azt is kérdezhetjük, hogy jftag(X), mire fölsorolja, hogy kik a JF tagok. (Azt a hármat, akit fölírtam).

Megmondom õszintén, életemben nem hallottam errõl. Tulajdonképpen mirõl is van szó, és hogy épül fel ez a.. <az amirõl szó van> - azt leszámítva, hogy 'nem azt mondod meg, hogy hogyan csinálja, hanem hogy mit csináljon.' Esetleg konkrét példával. [valami olyasmivel lehetõleg, amit az olyan seggfejek is megértenek, mint pl jómagam.]

Matzi

---

Akkor nem megfelelõ az elõadó. Mondjuk baromi nehéz értelmes és megoldható méretû feladatokat adni. Más programnyelveken is gond van ezzel (pl nálunk a féléves projektek röhej kategóriásak voltak), a prologot meg még kevesebb területen lehet használni, de ott jól.

Egy egyszerûbb példának egy egyszerû 8 királynõ probléma. Ez a kiírás részt leszámítva baromi rövid, kb 15 sor, és akárhány királynõre gond nélkül lefut. Ezt próbáld meg C-ben megírni ennyi sorból. Valamint megjegyezném, hogy nálunk ennél bonyolultabb feladatokat kellett háziként megoldani.

Nyilván ezt is procedurális nyelven írták, szóval minden megoldható Cben is, ami prologban, de azért nem mindegy milyen gyorsan és jól. Ráadásul ez elég univerzális. Van nálunk egy tárgy, az a címe, hogy nagy hatékonyságú logikai programozás, ahol még pár hatékonyabb eszközt meg lehetett ismerni. Mondjuk nem végeztem el, de érdekesnek hangzik.

---

Prolog, Haskell, Erlang, és társaik...

A gumiszobában nagy sikere volt