000			03109nam a2200409 4500
005			20260818133637.0
008			280898 th eng
035			_a.b10032022
099		9	_aAIT Thesis no. CS-88-6
100	0		_aTang Van To
245	1	2	_aA history-based backtracking scheme for Prolog
260			_aBangkok : _bAsian Institute of Technology, _c1988
300			_a55 p.
490	1		_aThesis ; _vno. CS-88-6
500			_aA thesis submitted in partial fulfillment of the requirement for the degree of Master of Engineering, School of Engineering and Technology
502			_aThesis (M.Eng.) - Asian Institute of Technology,1988
520			_aKeyr-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.
650		0	_aProlog (Computer program language)
700	1		_aMalhotra, Vishv Mohan, _eChairpeson
700	1		_aKimura, Tomonori, _eExamination Committee
700	0		_aKanchana Kanchanasut, _eExamination Committee
710	2		_aGovernment Of Australia., _eScholarship Donor
810	2		_aAsian Institute of Technology. _tThesis ; _vno. CS-88-6
856			_3Full-Text _uhttp://203.159.5.9/ait-thesis/detail.php?q=B18764
907			_a.b10032022 _bmnait _cx
902			_a240409
998			_b2 _c951012 _dm _ea _fx _g2
945			_lmnait
945			_lmnait
945			_lmnarc
942			_c20
942			_c40
909			_aBarcode : 30050003148367 _bCREATED : 1994-05-16 _cRECORD # : i10015930 _dLPATRON : 1028243 _eLCHKIN : 2019-11-10 _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 1 _jTOT RENEW : 0
909			_aBarcode : 30050003148375 _bCREATED : 1994-05-16 _cRECORD # : i10015942 _dLPATRON : 1009749 _eLCHKIN : 1999-04-21 _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 1 _jTOT RENEW : 0
909			_aBarcode : 30050120373559 _bCREATED : 2016-08-06 _cRECORD # : i13023615 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0
999			_c55439 _d55439