Matches in SemOpenAlex for { <https://semopenalex.org/work/W1521225797> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1521225797 abstract "Extra variables in a clause are variables which occur in the body but not in the head. It has been argued that extra variables are necessary and contribute to the expressive power of logic languages. In the first part of this paper, we show that this is not true in general. For this purpose, we provide a simple syntactic transformation of each logic program into a logic program without extra variables. Moreover, we show a strong correspondence between the original and the transformed program with respect to the declarative and the operational semantics. In the second part of this paper, we use a similar technique to provide new completeness results for equational logic programs with extra variables. In equational logic programming it is well known that extra variables cause problems since narrowing, the standard operational semantics for equational logic programming, may become incomplete in the presence of extra variables. Since extra variables are useful from a programming point of view, we characterize new classes of equational logic programs with extra variables for which narrowing and particular narrowing strategies are complete. In particular, we show the completeness of narrowing strategies in the presence of nonterminating functions and extra variables in right-hand sides of rewrite rules." @default.
- W1521225797 created "2016-06-24" @default.
- W1521225797 creator A5024421847 @default.
- W1521225797 date "1995-01-01" @default.
- W1521225797 modified "2023-09-27" @default.
- W1521225797 title "On Extra Variables in (Equational) Logic Programming" @default.
- W1521225797 cites W1489632372 @default.
- W1521225797 cites W1513315908 @default.
- W1521225797 cites W1541434994 @default.
- W1521225797 cites W1552425450 @default.
- W1521225797 cites W155273981 @default.
- W1521225797 cites W1554033963 @default.
- W1521225797 cites W1556743088 @default.
- W1521225797 cites W1557619244 @default.
- W1521225797 cites W1572831335 @default.
- W1521225797 cites W1596413407 @default.
- W1521225797 cites W1598059193 @default.
- W1521225797 cites W1608162599 @default.
- W1521225797 cites W2031825596 @default.
- W1521225797 cites W2050677448 @default.
- W1521225797 cites W2053719172 @default.
- W1521225797 cites W2059799630 @default.
- W1521225797 cites W2078852650 @default.
- W1521225797 cites W2082994045 @default.
- W1521225797 cites W2087389137 @default.
- W1521225797 cites W2113722134 @default.
- W1521225797 cites W2123757846 @default.
- W1521225797 cites W2126018011 @default.
- W1521225797 cites W2135884324 @default.
- W1521225797 cites W2141578886 @default.
- W1521225797 cites W2144352681 @default.
- W1521225797 cites W2167316540 @default.
- W1521225797 cites W2174219950 @default.
- W1521225797 cites W2912818154 @default.
- W1521225797 cites W73918395 @default.
- W1521225797 cites W1606787349 @default.
- W1521225797 doi "https://doi.org/10.7551/mitpress/4298.003.0065" @default.
- W1521225797 hasPublicationYear "1995" @default.
- W1521225797 type Work @default.
- W1521225797 sameAs 1521225797 @default.
- W1521225797 citedByCount "12" @default.
- W1521225797 countsByYear W15212257972016 @default.
- W1521225797 crossrefType "book-chapter" @default.
- W1521225797 hasAuthorship W1521225797A5024421847 @default.
- W1521225797 hasBestOaLocation W15212257972 @default.
- W1521225797 hasConcept C128838566 @default.
- W1521225797 hasConcept C134306372 @default.
- W1521225797 hasConcept C156325763 @default.
- W1521225797 hasConcept C17231256 @default.
- W1521225797 hasConcept C182365436 @default.
- W1521225797 hasConcept C184337299 @default.
- W1521225797 hasConcept C189790780 @default.
- W1521225797 hasConcept C199360897 @default.
- W1521225797 hasConcept C207648694 @default.
- W1521225797 hasConcept C33923547 @default.
- W1521225797 hasConcept C41008148 @default.
- W1521225797 hasConcept C80444323 @default.
- W1521225797 hasConcept C89497691 @default.
- W1521225797 hasConceptScore W1521225797C128838566 @default.
- W1521225797 hasConceptScore W1521225797C134306372 @default.
- W1521225797 hasConceptScore W1521225797C156325763 @default.
- W1521225797 hasConceptScore W1521225797C17231256 @default.
- W1521225797 hasConceptScore W1521225797C182365436 @default.
- W1521225797 hasConceptScore W1521225797C184337299 @default.
- W1521225797 hasConceptScore W1521225797C189790780 @default.
- W1521225797 hasConceptScore W1521225797C199360897 @default.
- W1521225797 hasConceptScore W1521225797C207648694 @default.
- W1521225797 hasConceptScore W1521225797C33923547 @default.
- W1521225797 hasConceptScore W1521225797C41008148 @default.
- W1521225797 hasConceptScore W1521225797C80444323 @default.
- W1521225797 hasConceptScore W1521225797C89497691 @default.
- W1521225797 hasLocation W15212257971 @default.
- W1521225797 hasLocation W15212257972 @default.
- W1521225797 hasOpenAccess W1521225797 @default.
- W1521225797 hasPrimaryLocation W15212257971 @default.
- W1521225797 hasRelatedWork W100098737 @default.
- W1521225797 hasRelatedWork W1494825669 @default.
- W1521225797 hasRelatedWork W1513315908 @default.
- W1521225797 hasRelatedWork W1515877009 @default.
- W1521225797 hasRelatedWork W155273981 @default.
- W1521225797 hasRelatedWork W1562307676 @default.
- W1521225797 hasRelatedWork W1574340008 @default.
- W1521225797 hasRelatedWork W1583295953 @default.
- W1521225797 hasRelatedWork W1585088833 @default.
- W1521225797 hasRelatedWork W1603716093 @default.
- W1521225797 hasRelatedWork W2015788118 @default.
- W1521225797 hasRelatedWork W2023299380 @default.
- W1521225797 hasRelatedWork W2031825596 @default.
- W1521225797 hasRelatedWork W2053719172 @default.
- W1521225797 hasRelatedWork W2059799630 @default.
- W1521225797 hasRelatedWork W2078852650 @default.
- W1521225797 hasRelatedWork W2087389137 @default.
- W1521225797 hasRelatedWork W2126018011 @default.
- W1521225797 hasRelatedWork W2167316540 @default.
- W1521225797 hasRelatedWork W2912818154 @default.
- W1521225797 isParatext "false" @default.
- W1521225797 isRetracted "false" @default.
- W1521225797 magId "1521225797" @default.
- W1521225797 workType "book-chapter" @default.