FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950337090> ?p ?o ?g. }

• W2950337090 abstract "We describe the BinProlog system's compilation technology, runtime system and its extensions supporting first-class Logic Engines while providing a short history of its development, details of some of its newer re-implementations as well as an overview of the most important architectural choices involved in their design. With focus on its differences with conventional WAM implementations, we explain key details of BinProlog's compilation technique, which replaces the WAM with a simplified continuation passing runtime system (the BinWAM), based on a mapping of full Prolog to binary logic programs. This is followed by a description of a term compression technique using a tag-on-data representation. Later derivatives, the Java-based Jinni Prolog compiler and the recently developed Lean Prolog system refine the BinProlog architecture with first-class Logic Engines, made generic through the use of an Interactor interface. An overview of their applications with focus on the ability to express at source level a wide variety of Prolog built-ins and extensions, covers these newer developments." @default.
• W2950337090 created "2019-06-27" @default.
• W2950337090 creator A5042600106 @default.
• W2950337090 date "2011-02-06" @default.
• W2950337090 modified "2023-09-27" @default.
• W2950337090 title "The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines" @default.
• W2950337090 cites W108853709 @default.
• W2950337090 cites W1486324663 @default.
• W2950337090 cites W1490740065 @default.
• W2950337090 cites W1493964572 @default.
• W2950337090 cites W1517590008 @default.
• W2950337090 cites W1526058137 @default.
• W2950337090 cites W1529317038 @default.
• W2950337090 cites W1535660166 @default.
• W2950337090 cites W1559402073 @default.
• W2950337090 cites W1579154664 @default.
• W2950337090 cites W1580054299 @default.
• W2950337090 cites W1602794006 @default.
• W2950337090 cites W161689931 @default.
• W2950337090 cites W1869737774 @default.
• W2950337090 cites W1980108527 @default.
• W2950337090 cites W1991332789 @default.
• W2950337090 cites W1991570511 @default.
• W2950337090 cites W1996532165 @default.
• W2950337090 cites W2012099766 @default.
• W2950337090 cites W2048991863 @default.
• W2950337090 cites W2053384008 @default.
• W2950337090 cites W2076620210 @default.
• W2950337090 cites W2079285075 @default.
• W2950337090 cites W2127759428 @default.
• W2950337090 cites W2155247860 @default.
• W2950337090 cites W2163058466 @default.
• W2950337090 cites W2175707891 @default.
• W2950337090 cites W2208923056 @default.
• W2950337090 cites W2491413729 @default.
• W2950337090 cites W2500860739 @default.
• W2950337090 cites W35881770 @default.
• W2950337090 cites W3821108 @default.
• W2950337090 cites W125481415 @default.
• W2950337090 cites W1579995533 @default.
• W2950337090 cites W201939263 @default.
• W2950337090 cites W3014088202 @default.
• W2950337090 cites W83913617 @default.
• W2950337090 hasPublicationYear "2011" @default.
• W2950337090 type Work @default.
• W2950337090 sameAs 2950337090 @default.
• W2950337090 citedByCount "0" @default.
• W2950337090 crossrefType "posted-content" @default.
• W2950337090 hasAuthorship W2950337090A5042600106 @default.
• W2950337090 hasConcept C111919701 @default.
• W2950337090 hasConcept C113843644 @default.
• W2950337090 hasConcept C115903868 @default.
• W2950337090 hasConcept C120665830 @default.
• W2950337090 hasConcept C121332964 @default.
• W2950337090 hasConcept C129307140 @default.
• W2950337090 hasConcept C154945302 @default.
• W2950337090 hasConcept C157915830 @default.
• W2950337090 hasConcept C169590947 @default.
• W2950337090 hasConcept C173608175 @default.
• W2950337090 hasConcept C192209626 @default.
• W2950337090 hasConcept C199360897 @default.
• W2950337090 hasConcept C26517878 @default.
• W2950337090 hasConcept C26713055 @default.
• W2950337090 hasConcept C2777212361 @default.
• W2950337090 hasConcept C41008148 @default.
• W2950337090 hasConcept C81721847 @default.
• W2950337090 hasConcept C88626702 @default.
• W2950337090 hasConceptScore W2950337090C111919701 @default.
• W2950337090 hasConceptScore W2950337090C113843644 @default.
• W2950337090 hasConceptScore W2950337090C115903868 @default.
• W2950337090 hasConceptScore W2950337090C120665830 @default.
• W2950337090 hasConceptScore W2950337090C121332964 @default.
• W2950337090 hasConceptScore W2950337090C129307140 @default.
• W2950337090 hasConceptScore W2950337090C154945302 @default.
• W2950337090 hasConceptScore W2950337090C157915830 @default.
• W2950337090 hasConceptScore W2950337090C169590947 @default.
• W2950337090 hasConceptScore W2950337090C173608175 @default.
• W2950337090 hasConceptScore W2950337090C192209626 @default.
• W2950337090 hasConceptScore W2950337090C199360897 @default.
• W2950337090 hasConceptScore W2950337090C26517878 @default.
• W2950337090 hasConceptScore W2950337090C26713055 @default.
• W2950337090 hasConceptScore W2950337090C2777212361 @default.
• W2950337090 hasConceptScore W2950337090C41008148 @default.
• W2950337090 hasConceptScore W2950337090C81721847 @default.
• W2950337090 hasConceptScore W2950337090C88626702 @default.
• W2950337090 hasLocation W29503370901 @default.
• W2950337090 hasOpenAccess W2950337090 @default.
• W2950337090 hasPrimaryLocation W29503370901 @default.
• W2950337090 hasRelatedWork W157838067 @default.
• W2950337090 hasRelatedWork W1822809263 @default.
• W2950337090 hasRelatedWork W1940662808 @default.
• W2950337090 hasRelatedWork W19760974 @default.
• W2950337090 hasRelatedWork W2034828140 @default.
• W2950337090 hasRelatedWork W2035975177 @default.
• W2950337090 hasRelatedWork W203780967 @default.
• W2950337090 hasRelatedWork W2069170161 @default.
• W2950337090 hasRelatedWork W2075001522 @default.
• W2950337090 hasRelatedWork W2103422892 @default.
• W2950337090 hasRelatedWork W2119140975 @default.
• W2950337090 hasRelatedWork W2258083048 @default.

• next