Ett nonprocedural språk som tillåter användaren att ange en uppsättning regler och framföra frågor eller problem som använder dessa regler.