K: a high-level knowledge base programming language for advanced database applications