German Research Center for Artificial Intelligence, Knowledge Management Group. Computational linguistics, automatic summarization, information retrieval, latent semantic analysis, computers and society.

Relational-Functional Language: logic-programming language with call-by-value (eager) expressions of non-deterministic, non-ground functions; clauses are Hornish, succeeding with true(s), or footed, returning any value(s), and define operations (relat...