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