互逆主义逻辑与Super- Prolog语言