Autor:	Lars Hallnäs, Peter Schroeder-Heister, Lars-Henrik Eriksson
Rok vydání:	1994
Předmět:	Prolog Horn clause Programming language Computer science Functional logic programming Computational logic Dynamic logic (modal logic) computer.software_genre computer Logic programming Inductive programming Declarative programming computer.programming_language
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540580256 Extensions of Logic Programming
DOI:	10.1007/3-540-58025-5
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::dcaee4b83f648ef7bd204497875de6a2 https://doi.org/10.1007/3-540-58025-5 Zobrazit plný text záznamu