Dewey Indexing of Prolog Traces
نویسندگان
چکیده
منابع مشابه
Demand-Driven Indexing of Prolog Clauses
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for anyand multiargument indexing becomes more and more profound. Static generation of multiargument indexing is one alternative, but applications often rely on features that are inherently dynamic which makes static techniques inapplicable or inaccurate. Another al...
متن کاملIndexing and querying XML using extended Dewey labeling scheme
Article history: Received 18 May 2009 Received in revised form 1 August 2010 Accepted 3 August 2010 Available online xxxx Finding all the occurrences of a tree pattern in an XML database is a core operation for efficient evaluation of XML queries. The Dewey labeling scheme is commonly used to label an XML document to facilitate XML query processing by recording information on the path of an ele...
متن کاملMultistage Indexing Algorithms for Speeding Prolog Execution
In a previous article we proposed a new and efficient indexing technique that utilizes all the functors in the clause-heads and the goal. The salient feature of this technique is that the selected clause-head unifies (modulo nonlinearity) with the goal. As a consequence, our technique results in sharper discrimination, fewer choice points and reduced backtracking. A naı̈ve and direct implementat...
متن کاملDewey and Cosmopolitanism
Many people rightly consider John Dewey a distinctively American thinker. He was born into a time-honored New England culture. He was educated in American schools. He lived and worked virtually his entire life in the United States. He had a lifelong respect for American traditions in poetry, literature, philosophy, and more. He was active in political and cultural movements, ranging from the pr...
متن کاملDewey, Eros and Education
We are attracted by our heart's desires. In love we passionately desire to possess the good, or at least what we perceive to be the good. But what we seek soon comes to possess us in thought, feeling, and action. It becomes who we are, the content of our character. In this paper I want to talk about education and Eros. I want to talk about Eros as a creative poetic force that makes new meanings...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1986
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/29.1.17