1:- module(
    2       da_compat,
    3       [
    4       ]
    5   ).    6
    7:- if(\+current_predicate(det/1)).    8user:det(_).
    9:- endif.