Zdanie atomowe - wyraża fakt odnoszący się do obiektów i relacji pomiędzy nimi opisanymi symbolami predykatów.
■ brat(Ryszard, Jan)
* małżeństwo(ojciec(Ryszard), matka(Jan))
Zdanie atomowe jest true, jeżeli relacja opisana symbolem predykatu zachodzi pomiędzy obiektami podanymi jako argumenty relacji.