"edinburgh prolog" - related articles and key terms