Matches in SemOpenAlex for { <https://semopenalex.org/work/W2747591458> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2747591458 endingPage "280" @default.
- W2747591458 startingPage "272" @default.
- W2747591458 abstract "We present a method for preprocessing Prolog programs so that their operational semantics will be given by the first-order predicate calculus. Most Prolog implementations do not use a full unification algorithm, for efficiency reasons. The result is that it is possible to create terms having loops in them, whose semantics is not adequately described by first-order logic. Our method finds places where such loops may be created, and adds tests to detect them. This should not appreciably slow down the execution of most Prolog programs." @default.
- W2747591458 created "2017-08-31" @default.
- W2747591458 creator A5019821870 @default.
- W2747591458 date "1984-01-01" @default.
- W2747591458 modified "2023-09-28" @default.
- W2747591458 title "The Occur-Check Problem in Prolog." @default.
- W2747591458 hasPublicationYear "1984" @default.
- W2747591458 type Work @default.
- W2747591458 sameAs 2747591458 @default.
- W2747591458 citedByCount "4" @default.
- W2747591458 crossrefType "journal-article" @default.
- W2747591458 hasAuthorship W2747591458A5019821870 @default.
- W2747591458 hasConcept C100481476 @default.
- W2747591458 hasConcept C125950753 @default.
- W2747591458 hasConcept C128838566 @default.
- W2747591458 hasConcept C140146324 @default.
- W2747591458 hasConcept C156325763 @default.
- W2747591458 hasConcept C184337299 @default.
- W2747591458 hasConcept C186644900 @default.
- W2747591458 hasConcept C199360897 @default.
- W2747591458 hasConcept C26713055 @default.
- W2747591458 hasConcept C34736171 @default.
- W2747591458 hasConcept C41008148 @default.
- W2747591458 hasConcept C80444323 @default.
- W2747591458 hasConcept C81721847 @default.
- W2747591458 hasConcept C96146094 @default.
- W2747591458 hasConcept C97169998 @default.
- W2747591458 hasConcept C97212296 @default.
- W2747591458 hasConceptScore W2747591458C100481476 @default.
- W2747591458 hasConceptScore W2747591458C125950753 @default.
- W2747591458 hasConceptScore W2747591458C128838566 @default.
- W2747591458 hasConceptScore W2747591458C140146324 @default.
- W2747591458 hasConceptScore W2747591458C156325763 @default.
- W2747591458 hasConceptScore W2747591458C184337299 @default.
- W2747591458 hasConceptScore W2747591458C186644900 @default.
- W2747591458 hasConceptScore W2747591458C199360897 @default.
- W2747591458 hasConceptScore W2747591458C26713055 @default.
- W2747591458 hasConceptScore W2747591458C34736171 @default.
- W2747591458 hasConceptScore W2747591458C41008148 @default.
- W2747591458 hasConceptScore W2747591458C80444323 @default.
- W2747591458 hasConceptScore W2747591458C81721847 @default.
- W2747591458 hasConceptScore W2747591458C96146094 @default.
- W2747591458 hasConceptScore W2747591458C97169998 @default.
- W2747591458 hasConceptScore W2747591458C97212296 @default.
- W2747591458 hasLocation W27475914581 @default.
- W2747591458 hasOpenAccess W2747591458 @default.
- W2747591458 hasPrimaryLocation W27475914581 @default.
- W2747591458 hasRelatedWork W1534223153 @default.
- W2747591458 hasRelatedWork W1542304993 @default.
- W2747591458 hasRelatedWork W1550435668 @default.
- W2747591458 hasRelatedWork W1594075998 @default.
- W2747591458 hasRelatedWork W2036315030 @default.
- W2747591458 hasRelatedWork W2037008576 @default.
- W2747591458 hasRelatedWork W2076084917 @default.
- W2747591458 hasRelatedWork W2097911101 @default.
- W2747591458 hasRelatedWork W2108167582 @default.
- W2747591458 hasRelatedWork W2141550942 @default.
- W2747591458 hasRelatedWork W2247531519 @default.
- W2747591458 hasRelatedWork W2286255795 @default.
- W2747591458 hasRelatedWork W2533070090 @default.
- W2747591458 hasRelatedWork W2535930729 @default.
- W2747591458 hasRelatedWork W2554538999 @default.
- W2747591458 hasRelatedWork W2573960924 @default.
- W2747591458 hasRelatedWork W2596537074 @default.
- W2747591458 hasRelatedWork W2951332957 @default.
- W2747591458 hasRelatedWork W77191609 @default.
- W2747591458 hasRelatedWork W2183862623 @default.
- W2747591458 isParatext "false" @default.
- W2747591458 isRetracted "false" @default.
- W2747591458 magId "2747591458" @default.
- W2747591458 workType "article" @default.