Prolog - a relational language and its applications