An intelligent backtracking schema in a logic programming environment

Simple item page
dc.citation.epage49en_US
dc.citation.issueNumber3en_US
dc.citation.spage42en_US
dc.citation.volumeNumber32en_US
dc.contributor.authorCicekli, I.en_US
dc.date.accessioned2016-02-08T10:46:44Z
dc.date.available2016-02-08T10:46:44Zen_US
dc.date.issued1997en_US
dc.departmentDepartment of Computer Engineeringen_US
dc.description.abstractWe 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.provenanceMade 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: 1997en_US
dc.identifier.doi10.1145/251634.251639en_US
dc.identifier.eissn1558-1160
dc.identifier.issn1523-2867
dc.identifier.urihttp://hdl.handle.net/11693/25553en_US
dc.language.isoEnglishen_US
dc.publisherACMen_US
dc.relation.isversionofhttps://doi.org/10.1145/251634.251639en_US
dc.source.titleSIGPLAN Notices (ACM Special Interest Group on Programming Languages)en_US
dc.subjectAbstract Machineen_US
dc.subjectIntelligent Backtrackingen_US
dc.subjectLogic Programmingen_US
dc.subjectPrologen_US
dc.titleAn intelligent backtracking schema in a logic programming environmenten_US
dc.typeArticleen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
An Intelligent Backtracking Schema in a Logic Programming Environment.pdf
Size:
891.07 KB
Format:
Adobe Portable Document Format
Description:
Full printable version
Download

Collections

Scholarly Publications - Computer Engineering