Ero sivun ”Logiikkapohjainen ohjelmointi” versioiden välillä
[katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
Ei muokkausyhteenvetoa |
|||
Rivi 1:
{{Tämä artikkeli|käsittelee ohjelmointiparadigmaa. Artikkeli [[ohjelmoitava logiikka]] käsittelee automaatioprosessien ohjaus.}}
{{Ohjelmointiparadigmat}}
'''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:
|