Advanced Turbo PROLOG