An intelligent backtracking schema in a logic programming environment
dc.citation.epage | 49 | en_US |
dc.citation.issueNumber | 3 | en_US |
dc.citation.spage | 42 | en_US |
dc.citation.volumeNumber | 32 | en_US |
dc.contributor.author | Cicekli, I. | en_US |
dc.date.accessioned | 2016-02-08T10:46:44Z | |
dc.date.available | 2016-02-08T10:46:44Z | en_US |
dc.date.issued | 1997 | en_US |
dc.department | Department of Computer Engineering | en_US |
dc.description.abstract | We present a new method to represent variable bindings in the Warren Abstract Machine (WAM), so that the ages of variable bindings can be easily found using this new representation in our intelligent backtracking schema. The age of a variable bound to a non-variable term is the youngest choice point such that backtracking to that choice point can make that variable an unbound variable again. The procedure backtracking point is the choice point of the procedure currently being executed or the choice point of its first ancestor having a choice point. Variable ages and procedure backtracking points are used in the process of figuring out backtracking points in our intelligent backtracking schema. Our intelligent backtracking schema performs much better than the results of other intelligent backtracking methods in the literature for deterministic programs, and its performance for non-deterministic programs are comparable with their results. | en_US |
dc.description.provenance | Made available in DSpace on 2016-02-08T10:46:44Z (GMT). No. of bitstreams: 1 bilkent-research-paper.pdf: 70227 bytes, checksum: 26e812c6f5156f83f0e77b261a471b5a (MD5) Previous issue date: 1997 | en_US |
dc.identifier.doi | 10.1145/251634.251639 | en_US |
dc.identifier.eissn | 1558-1160 | |
dc.identifier.issn | 1523-2867 | |
dc.identifier.uri | http://hdl.handle.net/11693/25553 | en_US |
dc.language.iso | English | en_US |
dc.publisher | ACM | en_US |
dc.relation.isversionof | https://doi.org/10.1145/251634.251639 | en_US |
dc.source.title | SIGPLAN Notices (ACM Special Interest Group on Programming Languages) | en_US |
dc.subject | Abstract Machine | en_US |
dc.subject | Intelligent Backtracking | en_US |
dc.subject | Logic Programming | en_US |
dc.subject | Prolog | en_US |
dc.title | An intelligent backtracking schema in a logic programming environment | en_US |
dc.type | Article | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- An Intelligent Backtracking Schema in a Logic Programming Environment.pdf
- Size:
- 891.07 KB
- Format:
- Adobe Portable Document Format
- Description:
- Full printable version