Ero sivun ”Logiikkapohjainen ohjelmointi” versioiden välillä
| [arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
p Botti lisäsi: io, ru muokkasi: en |
p Botti korjasi HTML:ää |
||
Rivi 1:
'''Logiikkapohjainen ohjelmointikieli''' kuvaa maailman faktoina ja faktojen välisinä suhteina. Esimerkiksi "Ville on Kallen isä, Matti on Villen isä, X on Y:n poika, jos Y on X:n isä ja jälkeläinen on poika tai pojan jälkeläinen" kuvataan [[prolog]]-kielellä näin:
isa(ville, kalle).<br />
isa(matti, ville).<br />
poika(X, Y) :- isa(Y, X).<br />
jalkelainen(X, Y) :- poika(X, Y).<br />
jalkelainen(X, Y) :- poika(X, Z), jalkelainen(Z, Y).
| |||