%lexon db constraints
l128_constraints:-constraint('n:1 binary'),constraint('L129'),constraint('L130').
constraint(v):-internalUniquness (v);externalUniquness(v);subset(v).%check and add more

%application rules, should be translated further to get a real API
internalUniquness(v):-print(v),v='n:1 binary'.
externalUniquness(v):-print(v),v='L129'.
subset(v):-print(v),v=['L130','L131'].%can be added more in the list

check:-l128_constraints.
%in a console window, type:
%check.