03109nam a2200409 4500 20260818133637.0 280898 th eng .b10032022 AIT Thesis no. CS-88-6 Tang Van To A history-based backtracking scheme for Prolog Bangkok : Asian Institute of Technology, 1988 55 p. Thesis ; no. CS-88-6 A thesis submitted in partial fulfillment of the requirement for the degree of Master of Engineering, School of Engineering and Technology Thesis (M.Eng.) - Asian Institute of Technology,1988 Keyr-1ords: Prolog, Naive .Interpreter, History-based Interpreter, Depth First Search, Cause of Fai1ure, SLD Tree, AND/OR Tree, Intelligent Backtracking, Data- Dependency Analysis, Execution History. In t his thesis , a History - Based backtracking (HBB ) interpreter for Prolog is developed and evaluated. Based on an analysis the causes o[ failures, the causes are stored in the history and are used to avoid repeating the same failures . Four basic rules for t he scheme have been derived and justified in the thesis. Two interpreters, a conventional and t he other based on the scheme proposed for a Prolog dialect are implemented using Turbo Pas ca l (version 4 ) . The scheme requires an analysis to determine for each failure , t h e cause of t h e failure. A history of the causes leading to failures is maintained and used to avoid repeating these failures. Th ese interpreters are used to compare and evaluate the proposed scheme with respect to the naïve interpreter and the schemes based on intelligent backtracking. We conclude t hat the proposed scheme is better than those based on data dependency analysis and is easier to implement t h an the in Telligent backtracking schemes. Prolog (Computer program language) Malhotra, Vishv Mohan, Chairpeson Kimura, Tomonori, Examination Committee Kanchana Kanchanasut, Examination Committee Government Of Australia., Scholarship Donor Asian Institute of Technology. Thesis ; no. CS-88-6 Full-Text http://203.159.5.9/ait-thesis/detail.php?q=B18764 .b10032022 mnait x 240409 2 951012 m a x 2 mnait mnait mnarc 20 40 Barcode : 30050003148367 CREATED : 1994-05-16 RECORD # : i10015930 LPATRON : 1028243 LCHKIN : 2019-11-10 # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 1 TOT RENEW : 0 Barcode : 30050003148375 CREATED : 1994-05-16 RECORD # : i10015942 LPATRON : 1009749 LCHKIN : 1999-04-21 # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 1 TOT RENEW : 0 Barcode : 30050120373559 CREATED : 2016-08-06 RECORD # : i13023615 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 55439 55439 0 0 0 0 MAIN MAIN mnait 2026-08-18 10.00 0 AIT Thesis no. CS-88-6 30050003148367 2026-08-18 13:36:37 1 2026-08-18 20 0 0 0 0 MAIN MAIN mnait 2026-08-18 10.00 0 AIT Thesis no. CS-88-6 30050003148375 2026-08-18 13:36:37 2 2026-08-18 20 0 0 0 0 MAIN MAIN mnarc 2026-08-18 0 AIT Thesis no. CS-88-6 30050120373559 2026-08-18 13:36:37 2026-08-18 40