Päivitetty: Looginen ohjelmointi on tietokoneiden ohjelmointiparadigma, jossa ohjelmalausekkeet ilmaisevat ongelmia koskevia tosiasioita ja sääntöjä muodollisen logiikan järjestelmässä. Säännöt kirjoitetaan loogisina lausekkeina, joissa on pää ja runko; esimerkiksi ”H on tosi, jos B1, B2 ja B3 ovat tosi”. Faktat ilmaistaan samalla tavalla kuin säännöt, mutta ilman vartaloa; esimerkiksi ”H on tosi.”
Jotkut loogiset ohjelmointikielet, kuten Datalog ja ASP (Answer Set Programming), ovat puhtaasti deklaratiivisia. Ne sallivat lausumat siitä, mitä ohjelman pitäisi saada aikaan, ilman eksplisiittisiä vaiheittaisia ohjeita siitä, miten se tehdään. Toiset, kuten Prolog, ovat deklaratiivisen ja imperatiivisen yhdistelmä. Ne voivat sisältää myös proseduraalisia lauseita, kuten ”Ratkaistaksesi H:n ratkaise B1, B2 ja B3.”
Logiikkaohjelmointiin käytettävät kielet
- Absys
- ALF (algebralogiikan funktionaalinen ohjelmointikieli).
- Algoritmisen ohjelman virheenkorjaus
- Alice
- Alma-0
- ASP (Answer Set Programming)
- CHIP
- Ciao
- CLACL
- CycL
- Datalog
- Datomic
- DLV
- ECLiPSe
- F-logic
- Flora-2
- Fril
- FuzzyCLIPS
- Gödel
- HiLog
- Janus
- ΛProlog
- Logtalk
- Logtalk
- Maude-järjestelmään
- Mercury
- MetaL
- Mozart-ohjelmointijärjestelmä
- Oz
- Parlog
- Planner
- PROGOL
- Prolog
- Prolog++
- Prova
- .QL
- Rebeca Modeling Language
- ROOP
- SICStus Prolog
- SWI-Prolog
- ToonTalk
- Transaktiologiikka
- Twelf
- Visual Prolog
- XSB
Kieli, Logiikka, Koneoppiminen, Paradigma, Ohjelmointitermit