Sökning: WFRF:(Fischer Nilsson Jorgen)
> (1997) >
Towards a logic pro...
Towards a logic programming methodology based on higher-order predicates
-
- Hamfelt, Andreas (författare)
- Uppsala universitet,Institutionen för informationsvetenskap
-
Nilsson, Jorgen Fischer. (författare)
-
(creator_code:org_t)
- SPRINGER VERLAG, 1997
- 1997
- Engelska.
-
Ingår i: NEW GENERATION COMPUTING. - : SPRINGER VERLAG. - 0288-3635. ; 15:4, s. 421-447
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- 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
Nyckelord
- higher-order and metalogic programming; recursion schemes; composition; parameterization; and modularization of logic programs
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas