Matches in SemOpenAlex for { <https://semopenalex.org/work/W46734479> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W46734479 abstract "Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called Prolog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and -terms and -calculus expressions can be encoded in Prolog." @default.
- W46734479 created "2016-06-24" @default.
- W46734479 creator A5018394339 @default.
- W46734479 creator A5080344559 @default.
- W46734479 date "2012-06-11" @default.
- W46734479 modified "2023-09-26" @default.
- W46734479 title "Programming with Higher-Order Logic" @default.
- W46734479 hasPublicationYear "2012" @default.
- W46734479 type Work @default.
- W46734479 sameAs 46734479 @default.
- W46734479 citedByCount "46" @default.
- W46734479 countsByYear W467344792013 @default.
- W46734479 countsByYear W467344792014 @default.
- W46734479 countsByYear W467344792015 @default.
- W46734479 countsByYear W467344792016 @default.
- W46734479 countsByYear W467344792017 @default.
- W46734479 countsByYear W467344792018 @default.
- W46734479 countsByYear W467344792019 @default.
- W46734479 countsByYear W467344792020 @default.
- W46734479 countsByYear W467344792021 @default.
- W46734479 countsByYear W467344792023 @default.
- W46734479 crossrefType "book" @default.
- W46734479 hasAuthorship W46734479A5018394339 @default.
- W46734479 hasAuthorship W46734479A5080344559 @default.
- W46734479 hasConcept C102993220 @default.
- W46734479 hasConcept C124047733 @default.
- W46734479 hasConcept C128838566 @default.
- W46734479 hasConcept C146206909 @default.
- W46734479 hasConcept C169896238 @default.
- W46734479 hasConcept C189790780 @default.
- W46734479 hasConcept C199305712 @default.
- W46734479 hasConcept C199360897 @default.
- W46734479 hasConcept C34165917 @default.
- W46734479 hasConcept C41008148 @default.
- W46734479 hasConcept C50033165 @default.
- W46734479 hasConcept C80444323 @default.
- W46734479 hasConcept C81721847 @default.
- W46734479 hasConcept C96315309 @default.
- W46734479 hasConceptScore W46734479C102993220 @default.
- W46734479 hasConceptScore W46734479C124047733 @default.
- W46734479 hasConceptScore W46734479C128838566 @default.
- W46734479 hasConceptScore W46734479C146206909 @default.
- W46734479 hasConceptScore W46734479C169896238 @default.
- W46734479 hasConceptScore W46734479C189790780 @default.
- W46734479 hasConceptScore W46734479C199305712 @default.
- W46734479 hasConceptScore W46734479C199360897 @default.
- W46734479 hasConceptScore W46734479C34165917 @default.
- W46734479 hasConceptScore W46734479C41008148 @default.
- W46734479 hasConceptScore W46734479C50033165 @default.
- W46734479 hasConceptScore W46734479C80444323 @default.
- W46734479 hasConceptScore W46734479C81721847 @default.
- W46734479 hasConceptScore W46734479C96315309 @default.
- W46734479 hasLocation W467344791 @default.
- W46734479 hasOpenAccess W46734479 @default.
- W46734479 hasPrimaryLocation W467344791 @default.
- W46734479 hasRelatedWork W107224311 @default.
- W46734479 hasRelatedWork W1536129331 @default.
- W46734479 hasRelatedWork W1579694940 @default.
- W46734479 hasRelatedWork W1678615379 @default.
- W46734479 hasRelatedWork W1727609483 @default.
- W46734479 hasRelatedWork W1961757151 @default.
- W46734479 hasRelatedWork W1974190112 @default.
- W46734479 hasRelatedWork W1979966822 @default.
- W46734479 hasRelatedWork W1996404651 @default.
- W46734479 hasRelatedWork W2009464583 @default.
- W46734479 hasRelatedWork W2032234226 @default.
- W46734479 hasRelatedWork W2034676877 @default.
- W46734479 hasRelatedWork W2070324762 @default.
- W46734479 hasRelatedWork W2075352622 @default.
- W46734479 hasRelatedWork W2093111544 @default.
- W46734479 hasRelatedWork W2106458801 @default.
- W46734479 hasRelatedWork W2141978322 @default.
- W46734479 hasRelatedWork W2294656706 @default.
- W46734479 hasRelatedWork W2911865844 @default.
- W46734479 hasRelatedWork W3135320517 @default.
- W46734479 isParatext "false" @default.
- W46734479 isRetracted "false" @default.
- W46734479 magId "46734479" @default.
- W46734479 workType "book" @default.