:- module(var_to_term, [var_to_term/2]). var_to_term(_A, b).