See this document in CiteSeerX!

Selecting Choice Points in An Intelligent Backtracking Schema  (Make Corrections)  
Ilyas Cicekli Dept. of Comp. Eng. and Info. Sc. Bilkent University 06533...



  Home/Search   Context   Related

 
View or download:
bilkent.edu.tr/~ilyas/PS...iscis94.ps.z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  bilkent.edu.tr/~ilyas/pubs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We present a runtime intelligent backtracking method for prolog programs to avoid redundant failures. The method presented in this paper selects the best choice point as a backtracking point during the failure of a procedure call to avoid the same failure. The chosen backtracking is the best choice point that can be determined in runtime during execution of a goal without a further analysis. The modification of the Warren Abstract Machine [War83] is kept in minimum to implement our schema. 1... (Update)

Similar documents based on text:   More   All
0.3:   Turing Test: 50 Years Later - Saygin, Cicekli, Akman (2000)   (Correct)
0.3:   Abstract Metaprolog Engine - Cicekli (1994)   (Correct)
0.3:   A Language-Independent System for Generating Feature.. - Temizsoy, Cicekli (1998)   (Correct)

BibTeX entry:   (Update)

@misc{ cicekli-selecting,
  author = "Ilyas Cicekli",
  title = "Selecting Choice Points in An Intelligent Backtracking Schema",
  url = "citeseer.ist.psu.edu/171707.html" }
Citations (may not include all citations):
395   An Abstract Prolog Instruction Set (context) - Warren - 1983
32   Deduction Revision by Intelligent Backtracking (context) - Bruynooghe, Pereiara - 1984
29   Warren's Abstract Machine: A Tutorial Reconstruction (context) - Ait-Kaci - 1991
22   Semi-Intelligent Backtracking of Prolog Based on a Static Da.. (context) - Despain - 1985
16   Extending the WAM for Intelligent Backtracking (context) - Codognet, Sola - 1991
14   Yet Another Intelligent Backtracking Method (context) - Codognet, Codognet et al. - 1988
11   A Data-Dependency Based Intelligent Backtracking Schema for .. (context) - Y-J - 1988
11   Selective Backtracking (context) - Pereiara, Porto - 1982
7   Deduction Plans: A Basis for Intelligent Backtracking (context) - Cox, Pietrzylowski - 1981
4   An Intelligent Backtracking Schema for Prolog (context) - Y-J - 1987

Documents on the same site (http://www.cs.bilkent.edu.tr/~ilyas/pubs.html):   More
Learning Translation Templates from Examples - Güvenir, Cicekli (1998)   (Correct)
Generation of Turkish Verbal Groups with Systemic-Functional.. - Korkmaz, Cicekli   (Correct)
Ordering Translation Templates by Assigning Confidence Factors - Oz, Cicekli (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC