Una lingua nonprocedural che permette all'utente di indicare un insieme di regole e di esprimere le query o problemi che utilizzano queste regole.