query language logic programming 6764913