":::::Jos tietokoneohjelman edellytetään sisältävän ohjeita, jotkut Prolog-ohjelmat eivät olisi tietokoneohjelmia.  Jos kaikkien Prolog-ohjelmien edellytetään olevan tietokoneohjelmia, että tietokoneohjelman ei tarvitse sisältää ohjeita.  , pitäisitkö SQL-ohjelmaa ""select cond from database"" ohjeen sisältävänä, vaikka se määritteli vain sen, mitä tarvittiin (eli nollan tai useamman ehdon cond täyttävän arvon joukon tietokannasta), eikä sitä, miten nämä arvot saataisiin?  

"