純粋なprologでは、formula_2という形式で表されるnafリテラルは節本体に現れ、他のnafリテラルを導出するのに使われる。