Činjenica je eksplicitni odnos između objekata, i svojstava koja ti objekti mogu da imaju. Činjenice su bezuslovno tačne po svojoj prirodi. To su zapravo izjave koje tretiramo kao uvek, nužno, tačne.
Primeri:
- Tom je mačak
- Džeri je miš
- Brki je najjači
Kako zapisujemo činjenice:
- Nazivi osobina/odnosa(relacija) počinju malim slovom
- Naziv relacije se piše prvi
- Objekti se navode u zagradama razdvojeni zarezom
- Naziv objekta takođe počinje malim slovom. Može da počne i ciframa a može i da bude string unutar navodnika
- Na kraju činjenice piše se tačka
- Primer: brojtelefona(pera, 0601234567)
- Jedan ovakav iskaz zovemo predikat/klauza/rečenica/izjava.
Sintaksa
Sintaksa za pisanje činjenica je:
relacija(objekat1,objekat2,...)
Primer
Slede primeri činjenica
mačka(tom)
miš(džeri)
najjači(brki)
spava_na_času(brki)
nije_u_školi(mata)
voli_da_jede(prle, roštilj)