Declarative Programming in Prolog