logic based data language