1970 -luvun alussa suunniteltu Prolog, todennäköisesti yhdistelmä sanoista ohjelma ja logiikka, on yksi varhaisimmista tietokoneohjelmointikielistä. Osittain siksi, että se on hyvin yksinkertainen koodi, joka käyttää ensimmäisen asteen logiikkaa ja vähän laskentaa, se on edelleen yleisessä käytössä. Alkuperäistä ohjesarjaa on laajennettu huomattavasti ja kehitetty moniksi muunnelmiksi, koska se sopii erityisen hyvin prosessointikieleen. Nämä kaksi ohjelman ensisijaista ominaisuutta tarjoavat prosessin sovelluksille, kuten tekoälylle ja automatisoidulle tietoliikenteelle.
Prolog käyttää muodollista ensimmäisen asteen logiikkaa. Tietokoneelle ladatut ohjeet ovat lujia; niillä ei ole sumeaa laskennallista painotusta. Ilmaisussa kielen syntaksi on rajallinen sääntöjoukko ja semantiikka määritellään yleensä sarjoilla, kuten yksittäisillä kuvauksilla, useilla luetteloilla ja merkkijonoilla, tai alueella, kuten numeerisilla sekvensseillä.
Joidenkin paremmin tunnettujen koodausten, kuten hypertekstimerkinnän kielen (HTML), lisäksi Prolog kuuluu ohjelmistoluokkaan, jota yleisesti kutsutaan deklaratiivisiksi ohjelmointikieliksi ja joka käyttää tyypillisesti yksinkertaista lausetta “X on Y”, joka määritellään “termiksi”. Tietokoneelle kerrotaan, mitä tehdä; sitä ei ohjeisteta laskemaan itse, miten sinne pääsee. Tietokoneelle annetaan joukko tosiasioita, joilla on “predikaatti”, ja suhteita, jotka on määritelty “lausekkeiksi”, joista syöttökyselyn pitäisi antaa oikea ja väärä tulosten johtopäätös. Se ei suorita algoritmia, vaan saa yksinkertaisen vastauksen lisäämällä ja vähentämällä tai kieltämällä sen tunnetut määritelmät. Tietojenkäsittelyä Prologissa käytetään teorioiden ja niiden taustalla olevien olettamusten testaamiseen ja todistamiseen kehittyneestä matematiikasta biologiaan filosofiaan.
Yksi älykkyyden kognitiivisista teorioista on se, että aivoissa on suuri mutta rajallinen leksinen tietovarasto, joka haetaan, käsitellään ja palautetaan, mikä johtaa tietojen monimutkaisuuteen tai yksinkertaisuuteen. Muistikapasiteetin kasvun ja nopean käytön ansiosta tämä on hallitseva paradigma, joka on johtanut tietotekniikan pyhää graalia – tekoälyä. Monien alalla avain on käyttöliittymä ja kieli. Prolog -ohjelmoinnin avulla voidaan luoda graafisia käyttöliittymiä, graafinen käyttöliittymä, jonka Apple® on kehittänyt, yksinkertaisesti määrittämällä visuaalisia symboleja. Sitä voidaan käyttää myös kasvojen ilmeen lukemiseen, kääntämiseen ja luomiseen.
Laskennallinen kielitiede on huomattavasti vaikeampaa, ja vaikka Prolog on vuosien saatossa edistynyt sisällyttääkseen esimerkiksi joidenkin vieraiden kielten ainutlaatuisia kieliopillisia periaatteita, monet tutkijat kyseenalaistavat, edustaakö se tehokkaasti kieltä. Rajoitetuissa asiantuntijajärjestelmissä, kuten tietokonepohjaisissa puheentunnistusteknisen tuen puhelinlinjoissa, Prolog-ohjelmointia käytetään jossain määrin. Se voidaan myös integroida korkeamman tason logiikkaohjelmistoihin-määrällisiin kieliin, kuten C+ tai java-, mutta pakkaus ja siirrettävyys ovat edelleen ongelmia, jotka kestävät tätä tietointensiivistä ohjelmointikieltä.