Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914218750> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2914218750 abstract "Abstract This paper presents a scheme for intelligent backtracking in PROLOG programs. Rather than doing the analysis of unification failures, this scheme chooses backtrack points by doing the analysis of data dependency between literals. The other data-dependency-based methods previously developed cannot be easily incorporated in Warren's abstract machine, and are not able to perform across-the-clause backtracking intelligently. Our scheme overcomes all these defects. For many problems this scheme is just as effective as intelligent backtracking schemes based upon (more accurate) analysis of unification failure, and yet incurs small space and time over- head. To demonstrate the usefulness of our scheme, we have modified a simulator of Warren's abstract machine to incorporate our intelligent backtracking scheme, and have evaluated its performance on a number of problems." @default.
- W2914218750 created "2019-02-21" @default.
- W2914218750 creator A5040319974 @default.
- W2914218750 creator A5065882059 @default.
- W2914218750 date "1987-09-01" @default.
- W2914218750 modified "2023-09-23" @default.
- W2914218750 title "A Data-dependency Based Intelligent Backtracking Scheme for Prolog" @default.
- W2914218750 hasPublicationYear "1987" @default.
- W2914218750 type Work @default.
- W2914218750 sameAs 2914218750 @default.
- W2914218750 citedByCount "0" @default.
- W2914218750 crossrefType "journal-article" @default.
- W2914218750 hasAuthorship W2914218750A5040319974 @default.
- W2914218750 hasAuthorship W2914218750A5065882059 @default.
- W2914218750 hasConcept C11413529 @default.
- W2914218750 hasConcept C134306372 @default.
- W2914218750 hasConcept C154945302 @default.
- W2914218750 hasConcept C156884757 @default.
- W2914218750 hasConcept C19768560 @default.
- W2914218750 hasConcept C199360897 @default.
- W2914218750 hasConcept C33923547 @default.
- W2914218750 hasConcept C41008148 @default.
- W2914218750 hasConcept C77618280 @default.
- W2914218750 hasConcept C80444323 @default.
- W2914218750 hasConcept C81721847 @default.
- W2914218750 hasConcept C96146094 @default.
- W2914218750 hasConceptScore W2914218750C11413529 @default.
- W2914218750 hasConceptScore W2914218750C134306372 @default.
- W2914218750 hasConceptScore W2914218750C154945302 @default.
- W2914218750 hasConceptScore W2914218750C156884757 @default.
- W2914218750 hasConceptScore W2914218750C19768560 @default.
- W2914218750 hasConceptScore W2914218750C199360897 @default.
- W2914218750 hasConceptScore W2914218750C33923547 @default.
- W2914218750 hasConceptScore W2914218750C41008148 @default.
- W2914218750 hasConceptScore W2914218750C77618280 @default.
- W2914218750 hasConceptScore W2914218750C80444323 @default.
- W2914218750 hasConceptScore W2914218750C81721847 @default.
- W2914218750 hasConceptScore W2914218750C96146094 @default.
- W2914218750 hasLocation W29142187501 @default.
- W2914218750 hasOpenAccess W2914218750 @default.
- W2914218750 hasPrimaryLocation W29142187501 @default.
- W2914218750 hasRelatedWork W120629208 @default.
- W2914218750 hasRelatedWork W1507777604 @default.
- W2914218750 hasRelatedWork W1584616449 @default.
- W2914218750 hasRelatedWork W1588250959 @default.
- W2914218750 hasRelatedWork W1591015246 @default.
- W2914218750 hasRelatedWork W1639532306 @default.
- W2914218750 hasRelatedWork W167827948 @default.
- W2914218750 hasRelatedWork W1963708782 @default.
- W2914218750 hasRelatedWork W1981221339 @default.
- W2914218750 hasRelatedWork W1988272147 @default.
- W2914218750 hasRelatedWork W1996676620 @default.
- W2914218750 hasRelatedWork W2015657457 @default.
- W2914218750 hasRelatedWork W2030511855 @default.
- W2914218750 hasRelatedWork W2058224907 @default.
- W2914218750 hasRelatedWork W2094490424 @default.
- W2914218750 hasRelatedWork W2761332033 @default.
- W2914218750 hasRelatedWork W3135502551 @default.
- W2914218750 hasRelatedWork W34481625 @default.
- W2914218750 hasRelatedWork W814632528 @default.
- W2914218750 hasRelatedWork W75927651 @default.
- W2914218750 isParatext "false" @default.
- W2914218750 isRetracted "false" @default.
- W2914218750 magId "2914218750" @default.
- W2914218750 workType "article" @default.