Matches in SemOpenAlex for { <https://semopenalex.org/work/W2539959346> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2539959346 endingPage "418" @default.
- W2539959346 startingPage "402" @default.
- W2539959346 abstract "Are higher-order extensions to logic programming needed? We answer this question in the negative by showing that higher-order features are already available in pure logic programming. It is demonstrated that higher-order lambda calculus-based languages can be compositionally embedded in logic programming languages preserving their semantics and abstraction facilities. Further, we show that such higher-order techniques correspond to programming techniques often practiced in logic programming." @default.
- W2539959346 created "2016-11-04" @default.
- W2539959346 creator A5035808622 @default.
- W2539959346 date "1994-01-01" @default.
- W2539959346 modified "2023-09-27" @default.
- W2539959346 title "Higher-order Aspects of Logic Programming (Summary)" @default.
- W2539959346 hasPublicationYear "1994" @default.
- W2539959346 type Work @default.
- W2539959346 sameAs 2539959346 @default.
- W2539959346 citedByCount "0" @default.
- W2539959346 crossrefType "journal-article" @default.
- W2539959346 hasAuthorship W2539959346A5035808622 @default.
- W2539959346 hasConcept C102993220 @default.
- W2539959346 hasConcept C111472728 @default.
- W2539959346 hasConcept C124047733 @default.
- W2539959346 hasConcept C124304363 @default.
- W2539959346 hasConcept C128838566 @default.
- W2539959346 hasConcept C138885662 @default.
- W2539959346 hasConcept C146206909 @default.
- W2539959346 hasConcept C169896238 @default.
- W2539959346 hasConcept C184337299 @default.
- W2539959346 hasConcept C189790780 @default.
- W2539959346 hasConcept C199305712 @default.
- W2539959346 hasConcept C199360897 @default.
- W2539959346 hasConcept C34165917 @default.
- W2539959346 hasConcept C41008148 @default.
- W2539959346 hasConcept C50033165 @default.
- W2539959346 hasConcept C80444323 @default.
- W2539959346 hasConcept C81721847 @default.
- W2539959346 hasConcept C96315309 @default.
- W2539959346 hasConceptScore W2539959346C102993220 @default.
- W2539959346 hasConceptScore W2539959346C111472728 @default.
- W2539959346 hasConceptScore W2539959346C124047733 @default.
- W2539959346 hasConceptScore W2539959346C124304363 @default.
- W2539959346 hasConceptScore W2539959346C128838566 @default.
- W2539959346 hasConceptScore W2539959346C138885662 @default.
- W2539959346 hasConceptScore W2539959346C146206909 @default.
- W2539959346 hasConceptScore W2539959346C169896238 @default.
- W2539959346 hasConceptScore W2539959346C184337299 @default.
- W2539959346 hasConceptScore W2539959346C189790780 @default.
- W2539959346 hasConceptScore W2539959346C199305712 @default.
- W2539959346 hasConceptScore W2539959346C199360897 @default.
- W2539959346 hasConceptScore W2539959346C34165917 @default.
- W2539959346 hasConceptScore W2539959346C41008148 @default.
- W2539959346 hasConceptScore W2539959346C50033165 @default.
- W2539959346 hasConceptScore W2539959346C80444323 @default.
- W2539959346 hasConceptScore W2539959346C81721847 @default.
- W2539959346 hasConceptScore W2539959346C96315309 @default.
- W2539959346 hasLocation W25399593461 @default.
- W2539959346 hasOpenAccess W2539959346 @default.
- W2539959346 hasPrimaryLocation W25399593461 @default.
- W2539959346 hasRelatedWork W151144758 @default.
- W2539959346 hasRelatedWork W1513756911 @default.
- W2539959346 hasRelatedWork W1533807479 @default.
- W2539959346 hasRelatedWork W153586760 @default.
- W2539959346 hasRelatedWork W1568177366 @default.
- W2539959346 hasRelatedWork W1584569710 @default.
- W2539959346 hasRelatedWork W1584978202 @default.
- W2539959346 hasRelatedWork W1586637948 @default.
- W2539959346 hasRelatedWork W1993367958 @default.
- W2539959346 hasRelatedWork W2022647944 @default.
- W2539959346 hasRelatedWork W2101531263 @default.
- W2539959346 hasRelatedWork W2111076108 @default.
- W2539959346 hasRelatedWork W2132981613 @default.
- W2539959346 hasRelatedWork W2164449382 @default.
- W2539959346 hasRelatedWork W2491975982 @default.
- W2539959346 hasRelatedWork W2547758671 @default.
- W2539959346 hasRelatedWork W2946150792 @default.
- W2539959346 hasRelatedWork W319349425 @default.
- W2539959346 hasRelatedWork W35691755 @default.
- W2539959346 hasRelatedWork W57122139 @default.
- W2539959346 isParatext "false" @default.
- W2539959346 isRetracted "false" @default.
- W2539959346 magId "2539959346" @default.
- W2539959346 workType "article" @default.