uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Towards a logic programming methodology based on higher-order predicates
Uppsala University, Humanistisk-samhällsvetenskapliga vetenskapsområdet, Faculty of Social Sciences, Department of Information Science.
1997 (English)In: NEW GENERATION COMPUTING, ISSN 0288-3635, Vol. 15, no 4, 421-447 p.Article in journal (Refereed) Published
Abstract [en]

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.
Keyword [en]
higher-order and metalogic programming; recursion schemes; composition; parameterization; and modularization of logic programs
URN: 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.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-15

Open Access in DiVA

No full text

By organisation
Department of Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 113 hits
ReferencesLink to record
Permanent link

Direct link