Logiikkapohjainen ohjelmointi

From Wikipedia, the free encyclopedia

Remove ads
Remove ads

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).
isa (matti, ville).
poika (X, Y) :- isa (Y, X).
jalkelainen (X, Y) :- poika (X, Y).
jalkelainen (X, Y) :- poika (X, Z), jalkelainen (Z, Y).
Tämä artikkeli käsittelee ohjelmointiparadigmaa. Artikkeli ohjelmoitava logiikka käsittelee automaatioprosessien ohjausta.

Nyt kyselyssä "kuka on Matin jälkeläinen" todetaan ensin, että säännön 4 mukaan X on Matin jälkeläinen, jos X on Matin poika, ja säännön 3 mukaan X on Matin poika, jos Matti on X:n isä, ja säännön 2 mukaan Matti on Villen isä. Samalla tavoin Kalle todetaan Matin jälkeläiseksi käyttäen kaikkia viittä sääntöä.

Ehdottomasti tunnetuin logiikkapohjainen ohjelmointikieli on edellä kuvattu Prolog.

Remove ads

Katso myös

Aiheesta muualla

Tämä tietotekniikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads