Jos minulla on faktat...
asuu(taina,turku).
asuu(lasse,helsinki).
asuu(tiina,helsinki).
...niin miten listata kaikki kaupungit, joissa jokin asuu. Aluksi tulee mieleen tämä tyypillinen kysymys:
̎[1] 17 ?- asuu(_,X).
X = turku ;
X = helsinki ;
X = helsinki.
Mutta tuossa ei kysytä kaupunkeja, vaan asumisia, relaatioita. Helsingissä asutaan kahdesti.
Kuuluuko prologissa edes ajatella "vakiokeskeisesti", eli kysellä vakiota, jolla on tietynlaisia suhteita.
Prologin ajatusmaailma
KN$
2
258
Vastaukset
- dx
Mites tällainen:
kaupungit(U) :- findall(X,asuu(_,X),L), sort(L,U).
nimet(U) :- findall(X,asuu(X,_),L), sort(L,U).
jolloin saadaan:
?- kaupungit(U).
U = [helsinki, turku].
?- nimet(U).
U = [lasse, taina, tiina].- KN$
Noinhan se onnistuu. Vähän näyttää imperatiiviselta ratkaisulta. Ajattelin että on tuohon on prologissa yksinkertaisempi keino...
Ketjusta on poistettu 0 sääntöjenvastaista viestiä.
Luetuimmat keskustelut
- 14210781
- 525160
Taas ryssittiin oikein kunnolla
r….ä hyökkäsi Viroon sikaili taas ajattelematta yhtään mitään https://www.is.fi/ulkomaat/art-2000011347289.html452363- 292073
Vanha Suola janottaa Iivarilla
Vanha suola janottaa Siikalatvan kunnanjohtaja Pekka Iivaria. Mies kiertää Kemijärven kyläjuhlia ja kulttuuritapahtumia131661Valtimon Haapajärvellä paatti mäni nurin
Ikävä onnettomuus Haapajärvellä. Vene hörpppi vettä matkalla saaren. Veneessä ol 5 henkilöä, kolme uiskenteli rantaan,411492Tiedän kuka sinä noista olet
Lucky for you, olen rakastunut sinuun joten en reagoi negatiivisesti. Voit kertoa kavereillesi että kyl vaan, rakkautta291184Känniläiset veneessä?
Siinä taas päästiin näyttämään miten tyhmiä känniläiset on. Heh heh "Kaikki osalliset ovat täysi-ikäisiä ja alkoholin v351146Daniel Nummelan linjapuhe 2025
Kansanlähetyksen toiminnanjohtajan Daniel Nummelan linjapuhe tänään. Rehellistä analyysiä mm. evlut kirkosta ja piispo92905TÄSTÄ TAITAA TULLA SUOMEN HISTORIAN SUURIN USKONNONVAPAUDEN OIKEUDENKÄYNTI.
Sinun täytyy hyväksyä se että jos sinä vetoat uskonnonvapauteen, silloin sinun tulee antaa myös muille vastaava vapaus o317862