TURBO PROLOG TOOLBOX