Matches in SemOpenAlex for { <https://semopenalex.org/work/W1594075998> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1594075998 endingPage "858" @default.
- W1594075998 startingPage "843" @default.
- W1594075998 abstract "Abstract : Subset-logic programming is a paradigm of programming with subset and equality assertions. We propose this paradigm as a logical basis for programming with sets. We present a language called SEL to illustrate the approach. The terms of SEL are the usual first-order terms of Prolog, augmented with one associative-commutative (a-c) constructor, U, for defining sets. Computationally, we treat assertions as one-way rewrite rules, where the matching used is a restricted form of associative-commutative matching. Unlike Prolog's unification, a-c matching could produce multiple matching substitutions, which can effectively serve to iterate over the elements of sets, thus permitting many useful set operations to be stated non-recursively. We also describe the implementation of SEL. We show how WAM-like instructions can be used to compile SEL programs. Because matching rather than unification is used, the 'read' and 'write' modes of 'get' instructions can be identified at compile-time. Two forms of backtracking occur: in addition to backtracking upon failure, the implementation also backtracks upon success in order to collect all elements of a set. An important property of a SEL function is whether or not it 'distributes over nondeterminism' in a particular argument. If it does, we can avoid checking for duplicates in this argument, and also avoid constructing the set corresponding to this argument." @default.
- W1594075998 created "2016-06-24" @default.
- W1594075998 creator A5023948513 @default.
- W1594075998 creator A5043342028 @default.
- W1594075998 date "1988-02-01" @default.
- W1594075998 modified "2023-09-23" @default.
- W1594075998 title "Subset-Logic Programming: Application and Implementation." @default.
- W1594075998 cites W1480729609 @default.
- W1594075998 cites W1503740743 @default.
- W1594075998 cites W2023578426 @default.
- W1594075998 cites W2112962394 @default.
- W1594075998 cites W2123396057 @default.
- W1594075998 hasPublicationYear "1988" @default.
- W1594075998 type Work @default.
- W1594075998 sameAs 1594075998 @default.
- W1594075998 citedByCount "7" @default.
- W1594075998 crossrefType "proceedings-article" @default.
- W1594075998 hasAuthorship W1594075998A5023948513 @default.
- W1594075998 hasAuthorship W1594075998A5043342028 @default.
- W1594075998 hasConcept C105795698 @default.
- W1594075998 hasConcept C118615104 @default.
- W1594075998 hasConcept C128838566 @default.
- W1594075998 hasConcept C128896722 @default.
- W1594075998 hasConcept C146834321 @default.
- W1594075998 hasConcept C156884757 @default.
- W1594075998 hasConcept C159423971 @default.
- W1594075998 hasConcept C162324750 @default.
- W1594075998 hasConcept C165064840 @default.
- W1594075998 hasConcept C169590947 @default.
- W1594075998 hasConcept C177264268 @default.
- W1594075998 hasConcept C183778304 @default.
- W1594075998 hasConcept C185592680 @default.
- W1594075998 hasConcept C199360897 @default.
- W1594075998 hasConcept C202444582 @default.
- W1594075998 hasConcept C33923547 @default.
- W1594075998 hasConcept C34447519 @default.
- W1594075998 hasConcept C41008148 @default.
- W1594075998 hasConcept C55493867 @default.
- W1594075998 hasConcept C80444323 @default.
- W1594075998 hasConcept C81721847 @default.
- W1594075998 hasConcept C96146094 @default.
- W1594075998 hasConcept C98184364 @default.
- W1594075998 hasConceptScore W1594075998C105795698 @default.
- W1594075998 hasConceptScore W1594075998C118615104 @default.
- W1594075998 hasConceptScore W1594075998C128838566 @default.
- W1594075998 hasConceptScore W1594075998C128896722 @default.
- W1594075998 hasConceptScore W1594075998C146834321 @default.
- W1594075998 hasConceptScore W1594075998C156884757 @default.
- W1594075998 hasConceptScore W1594075998C159423971 @default.
- W1594075998 hasConceptScore W1594075998C162324750 @default.
- W1594075998 hasConceptScore W1594075998C165064840 @default.
- W1594075998 hasConceptScore W1594075998C169590947 @default.
- W1594075998 hasConceptScore W1594075998C177264268 @default.
- W1594075998 hasConceptScore W1594075998C183778304 @default.
- W1594075998 hasConceptScore W1594075998C185592680 @default.
- W1594075998 hasConceptScore W1594075998C199360897 @default.
- W1594075998 hasConceptScore W1594075998C202444582 @default.
- W1594075998 hasConceptScore W1594075998C33923547 @default.
- W1594075998 hasConceptScore W1594075998C34447519 @default.
- W1594075998 hasConceptScore W1594075998C41008148 @default.
- W1594075998 hasConceptScore W1594075998C55493867 @default.
- W1594075998 hasConceptScore W1594075998C80444323 @default.
- W1594075998 hasConceptScore W1594075998C81721847 @default.
- W1594075998 hasConceptScore W1594075998C96146094 @default.
- W1594075998 hasConceptScore W1594075998C98184364 @default.
- W1594075998 hasLocation W15940759981 @default.
- W1594075998 hasOpenAccess W1594075998 @default.
- W1594075998 hasPrimaryLocation W15940759981 @default.
- W1594075998 hasRelatedWork W143453603 @default.
- W1594075998 hasRelatedWork W1483279845 @default.
- W1594075998 hasRelatedWork W1503552388 @default.
- W1594075998 hasRelatedWork W1542304993 @default.
- W1594075998 hasRelatedWork W1550435668 @default.
- W1594075998 hasRelatedWork W1584946103 @default.
- W1594075998 hasRelatedWork W1928673936 @default.
- W1594075998 hasRelatedWork W1929233465 @default.
- W1594075998 hasRelatedWork W1954776415 @default.
- W1594075998 hasRelatedWork W1972712449 @default.
- W1594075998 hasRelatedWork W2004200215 @default.
- W1594075998 hasRelatedWork W2019806829 @default.
- W1594075998 hasRelatedWork W2022770502 @default.
- W1594075998 hasRelatedWork W2061392495 @default.
- W1594075998 hasRelatedWork W2119897009 @default.
- W1594075998 hasRelatedWork W2132186989 @default.
- W1594075998 hasRelatedWork W2156950788 @default.
- W1594075998 hasRelatedWork W2221309524 @default.
- W1594075998 hasRelatedWork W2954792172 @default.
- W1594075998 hasRelatedWork W2183862623 @default.
- W1594075998 isParatext "false" @default.
- W1594075998 isRetracted "false" @default.
- W1594075998 magId "1594075998" @default.
- W1594075998 workType "article" @default.