Пример за проста програма за пролог, Prologue
Езикът за програмиране на пролог (prolog) е декларативен (не процедурен) език за описване на така наречените "бази на знания" под формата на аксиоми и правила, който позволява, например, да се провери истинността на теоремите и
описват и процесите на вземане на решения.
Стилът на програмиране на този език е коренно различен от класическите процедурни езици като C ++, Java и т.н. Следователно на първия етап пример за проста програма на този език може да бъде много полезен.
Самият пример, в който въз основа на примера на няколко аксиоми за това, което Мери обича и въз основа на няколко правила, се стига до заключението, че Бет обича:
предикати
недетерминирани харесвания (символ, символ)
недетерминиран плод (символ)