Prolog mantıksal programlama dili olmasına rağmen prosedürel programlamaya da izin vermektedir. Prolog doğruluğu önceden belirlenmiş gerçeklerden oluşur. Kesin olan gerçekler programa tek tek girilir, bunların arasında ilişkiler belirlenir, sistemden output(çıktı) alınacağı zaman bu ilişkiler göz önünde bulundurularak çıktı alınır. Prolog aynı zamanda çözümün ne olacağını değil problemin ne olduğunu tanımlar. Prolog programlama dilinde; -Nesneler hakkındaki>>>
