Upit - query - je pitanje koje se postavlja nad skupom relacija između objekata ili svojstava objekata. Pitanja mogu biti
- da li je Tom mačka?
- da li će Brki dobiti 5?
- da li su Tom i Džeri prijatelji?
Prolog ima interaktivnu konzolu i pitanja možete da postavljate u formi zapisa činjenice ili pravila. Prologov mehanizam zaključivanja će pokušati da zaključi da li napisani iskaz može da bude tačan na osnovu pravila koja ima u bazi znanja. Ako je to izvodivo odgovoriće yes, a ako to nije izvodivo ili nema dovoljno podataka u bazi znanja na osnovu kojih bi mogao da dokaže da je iskaz tačan odgovoriće no.
Primer:
?- mačka(tom).
yes
?- miš(tom).
no
?- prijatelji(tom, džeri).
no
?- otac(pera, _).
Pored potvrde da li je tvrđenje tačno ili ne, možemo da iz baze znanja tražimo objekte koji zadovoljavaju neki uslov. Takva pitanja sadrže u sebi promenljive, čije će vrednosti Prolog pokušati da odredi, tako da upit za takve vrednosti bude tačan. Moguće je da se generiše i više odgovora, ako postoji više objekata koji ispunjavaju traženi uslov.
Primer:
Baza znanja:
otac(pera, mika).
otac(pera, žika).
otac(pera, laza).
Upiti:
?- otac(pera, mika). Da li je pera mikin otac?
Yes
?- otac(X, mika). Ko je mikin otac?
X=pera
?- otac(X, _). Ko je sve otac?
X=pera ->
No Kraj liste