is empty clause.

• 代表空子句。