A survey of GCLA: A definitional approach to logic programming

Autor:	Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger, Martin Aronsson
Rok vydání:	2006
Předmět:	Theoretical computer science Horn clause Programming language Functional logic programming Computer science Proof search Logic program computer.software_genre computer Logic programming
Zdroj:	Extensions of Logic Programming ISBN: 354053590X ELP
DOI:	10.1007/bfb0038692
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::cdadef703aa57858880ee3c9bfbd314d https://doi.org/10.1007/bfb0038692 Zobrazit plný text záznamu