Towards a logic programming methodology based on higher-order predicates
1997 (English)In: NEW GENERATION COMPUTING, ISSN 0288-3635, Vol. 15, no 4, 421-447 p.Article in journal (Refereed) Published
This paper outlines a logic programming methodology which applies standardized logic program recursion forms afforded by a system of general purpose recursion schemes. The recursion schemes are conceived of as quasi higher-order predicates which accept pr
Place, publisher, year, edition, pages
SPRINGER VERLAG , 1997. Vol. 15, no 4, 421-447 p.
higher-order and metalogic programming; recursion schemes; composition; parameterization; and modularization of logic programs
IdentifiersURN: urn:nbn:se:uu:diva-27174OAI: oai:DiVA.org:uu-27174DiVA: diva2:55068
Addresses: Hamfelt A, UNIV UPPSALA, DEPT COMP SCI, BOX 311, S-75105 UPPSALA, SWEDEN. TECH UNIV DENMARK, DEPT INFORMAT TECHNOL, DK-2800 LYNGBY, DENMARK.2008-10-172008-10-172011-01-15