Added all prolog tde and references