PROLOG: A Relational Language and Its Applications