Основни понятия на езика Prolog

Prolog произлиза от израза "Programming in logic", което означава "програмиране чрез логика". Tой е типичен представител на логическото про-грамиране, което е дял на непроцедурното (декларативно, описателно) програ-мира