Describir: Advanced Turbo Prolog Programming