See RelationalProgrammingLanguage.