AI SearchA history-based backtracking scheme for Prolog (Record no. 55439)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03109nam a2200409 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260818133637.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 280898 th eng |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b10032022 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT Thesis no. CS-88-6 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Tang Van To |
| 245 12 - TITLE STATEMENT | |
| Title | A history-based backtracking scheme for Prolog |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bangkok : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 1988 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 55 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Thesis ; |
| Volume/sequential designation | no. CS-88-6 |
| 500 ## - GENERAL NOTE | |
| General note | A thesis submitted in partial fulfillment of the requirement for the degree of Master of Engineering, School of Engineering and Technology |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Eng.) - Asian Institute of Technology,1988 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Prolog (Computer program language) |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Malhotra, Vishv Mohan, |
| Relator term | Chairpeson |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kimura, Tomonori, |
| Relator term | Examination Committee |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kanchana Kanchanasut, |
| Relator term | Examination Committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Government Of Australia., |
| Relator term | Scholarship Donor |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Thesis ; |
| Volume/sequential designation | no. CS-88-6 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B18764">http://203.159.5.9/ait-thesis/detail.php?q=B18764</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b10032022 |
| b | mnait |
| c | x |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240409 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 2 |
| Cataloger's initials, CIN (RLIN) | 951012 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | x |
| -- | 2 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 20-AIT Publication |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050003148367 |
| CREATED | CREATED : 1994-05-16 |
| RECORD Id | RECORD # : i10015930 |
| LPATRON | LPATRON : 1028243 |
| LCHKIN | LCHKIN : 2019-11-10 |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 1 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050003148375 |
| CREATED | CREATED : 1994-05-16 |
| RECORD Id | RECORD # : i10015942 |
| LPATRON | LPATRON : 1009749 |
| LCHKIN | LCHKIN : 1999-04-21 |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 1 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120373559 |
| CREATED | CREATED : 2016-08-06 |
| RECORD Id | RECORD # : i13023615 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | 10.00 | AIT Thesis no. CS-88-6 | 30050003148367 | 18/08/2026 | 1 | 18/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | 10.00 | AIT Thesis no. CS-88-6 | 30050003148375 | 18/08/2026 | 2 | 18/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 18/08/2026 | AIT Thesis no. CS-88-6 | 30050120373559 | 18/08/2026 | 18/08/2026 | 40-Archives |