FRINK Linked Data Fragments server

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

• W156192971 abstract "Prolog programs are executed from left-to-right and top-to-bottom with backtracking to the most recently activated choice-point when a failure occurs. This execution strategy is based on a sequential execution model and has been implemented with modest efficiency in conventional computer systems 12,16 . In this thesis, two ways are explored to improve the performance of a Prolog system. The first way is a more intelligent form of backtracking. The second way is to exploit AND-parallel execution.Both intelligent backtracking and AND-parallel execution require information about the dependency between body literals. This information can be derived either at compile-time by using a static analysis or at run-time. Although a run-time analysis is more effective than a static (hence worst-case) analysis, it incurs a lot of overhead at run-time and is thus inefficient. Therefore, this thesis has emphasized the use of compile-time analysis to improve run-time performance.A methodology for a Static Data Dependency Analysis (SDDA) was developed. The SDDA is based on a worst-case analysis of variable bindings. To perform the SDDA, only one declaration, which describes the worst case activation, is necessary for each procedure which can be directly invoked from the top level query. This extra work can be handled quite easily by the programmer. The cost of doing the SDDA is shown to be comparable to the cost of compilation of a Prolog program. The outputs from the SDDA are a collection of data dependency graphs, one for each clause in a Prolog program. From data dependency graphs, both intelligent backtracking and AND-parallel execution can be determined.A scheme for compiling intelligent backtracking based on the SDDA has been designed. To take full advantage of dependency graphs, three different types of backtracking are differentiated. At run-time, when a subgoal fails, a backtrack literal can be determined by the type of the backtracking and its corresponding backtracking path. Execution including this intelligent backtracking is simulated for a sequential Prolog machine. It includes modifications of the hardware and the compiler. This scheme has been proved to be very effective for improving the execution of Prolog programs.A scheme to exploit AND-parallelism is also proposed. It includes generating parallel executable tasks by the SDDA, using a set of message protocols to coordinate co-operating processes, exploiting both intelligent backtracking and parallel backtracking. It is shown that Prolog has potential in parallel processing because of its procedural invocation, non-deterministic execution, concise syntax, single-assignment variable bindings, and local variable scoping." @default.
• W156192971 created "2016-06-24" @default.
• W156192971 creator A5037101271 @default.
• W156192971 date "1985-01-01" @default.
• W156192971 modified "2023-09-27" @default.
• W156192971 title "High performance execution of prolog programs based on a static data dependency analysis (and-parallelism, semi-intelligent backtracking)" @default.
• W156192971 hasPublicationYear "1985" @default.
• W156192971 type Work @default.
• W156192971 sameAs 156192971 @default.
• W156192971 citedByCount "3" @default.
• W156192971 crossrefType "journal-article" @default.
• W156192971 hasAuthorship W156192971A5037101271 @default.
• W156192971 hasConcept C115903868 @default.
• W156192971 hasConcept C156884757 @default.
• W156192971 hasConcept C165696696 @default.
• W156192971 hasConcept C169590947 @default.
• W156192971 hasConcept C173608175 @default.
• W156192971 hasConcept C19768560 @default.
• W156192971 hasConcept C199360897 @default.
• W156192971 hasConcept C2778514511 @default.
• W156192971 hasConcept C2779960059 @default.
• W156192971 hasConcept C38652104 @default.
• W156192971 hasConcept C41008148 @default.
• W156192971 hasConcept C81721847 @default.
• W156192971 hasConcept C97686452 @default.
• W156192971 hasConcept C98183937 @default.
• W156192971 hasConceptScore W156192971C115903868 @default.
• W156192971 hasConceptScore W156192971C156884757 @default.
• W156192971 hasConceptScore W156192971C165696696 @default.
• W156192971 hasConceptScore W156192971C169590947 @default.
• W156192971 hasConceptScore W156192971C173608175 @default.
• W156192971 hasConceptScore W156192971C19768560 @default.
• W156192971 hasConceptScore W156192971C199360897 @default.
• W156192971 hasConceptScore W156192971C2778514511 @default.
• W156192971 hasConceptScore W156192971C2779960059 @default.
• W156192971 hasConceptScore W156192971C38652104 @default.
• W156192971 hasConceptScore W156192971C41008148 @default.
• W156192971 hasConceptScore W156192971C81721847 @default.
• W156192971 hasConceptScore W156192971C97686452 @default.
• W156192971 hasConceptScore W156192971C98183937 @default.
• W156192971 hasLocation W1561929711 @default.
• W156192971 hasOpenAccess W156192971 @default.
• W156192971 hasPrimaryLocation W1561929711 @default.
• W156192971 hasRelatedWork W1508697550 @default.
• W156192971 hasRelatedWork W1512521924 @default.
• W156192971 hasRelatedWork W1547627072 @default.
• W156192971 hasRelatedWork W1570986990 @default.
• W156192971 hasRelatedWork W1582957910 @default.
• W156192971 hasRelatedWork W1585159118 @default.
• W156192971 hasRelatedWork W2017072711 @default.
• W156192971 hasRelatedWork W2023015210 @default.
• W156192971 hasRelatedWork W2026196802 @default.
• W156192971 hasRelatedWork W2028229594 @default.
• W156192971 hasRelatedWork W2067188743 @default.
• W156192971 hasRelatedWork W2083962079 @default.
• W156192971 hasRelatedWork W2088699829 @default.
• W156192971 hasRelatedWork W2158387666 @default.
• W156192971 hasRelatedWork W2337985114 @default.
• W156192971 hasRelatedWork W2462343241 @default.
• W156192971 hasRelatedWork W2472305522 @default.
• W156192971 hasRelatedWork W2513408524 @default.
• W156192971 hasRelatedWork W3179669881 @default.
• W156192971 hasRelatedWork W48235654 @default.
• W156192971 isParatext "false" @default.
• W156192971 isRetracted "false" @default.
• W156192971 magId "156192971" @default.
• W156192971 workType "article" @default.