:- module(is_daplex_variable,[is_daplex_variable/1]).
:- use_module(library(lists)).

is_daplex_variable(var(X)) :-
	is_list(X),
	!,
	fail.

is_daplex_variable(var(X)) :-
	atom(X).

is_daplex_variable(var(X)) :-
	integer(X).

