Lập trình Prolog_chương 1-2-3

Prolog là ngôn ngữ được sử dụng phổ biến nhất trong dòng các ngôn ngữ lập trình logic ( Prolog có nghĩa là Programming in logic). Ngôn ngữ Prolog do giáo sư người Pháp Alain colmerauer in logic.
Nội dung trích xuất từ tài liệu:
Lập trình Prolog_chương 1-2-3 LÅÌI NOÏI ÂÁÖU Cuäún saïch naìy nhàòm cung cáúp cå såí lyï thuyãút vaì caïc phæång phaïpláûp trçnh cå baín nháút cuía män hoüc «Láûp trçnh lägich» (Programming in Logic).Ngæåìi âoüc seî âæåüc laìm quen våïi mäüt säú kyî thuáût láûp trçnh lägich âæåüc æïng duûngtæång âäúi phäø biãún vaì chuí yãúu trong lénh væûc trê tuãû nhán taûo (ArtificialIntelligence) nhæ cäng nghãû xæí lyï tri thæïc, maïy hoüc, hãû chuyãn gia, xæí lyï ngänngæî tæû nhiãn, troì chåi, v.v... Cuäún saïch gäöm nàm chæång vaì phuû luûc nhæ sau : − Chæång 1 giåïi thiãûu ngän ngæî láûp trçnh Prolog lägich dæûa trãn lägich Horn (Horn logic). Ngæåìi âoüc laìm quen våïi caïc kiãøu dæî liãûu cuía Prolog, khaïi niãûm vãö luáût, sæû kiãûn vaì viãút caïc chæång trçnh Prolog âån giaín. − Chæång 2 trçnh baìy caïc mæïc nghéa khaïc nhau cuía mäüt chæång trçnh Prolog : nghéa lägich, nghéa khai baïo vaì nghéa thuí tuûc, caïch Prolog traí låìi caïc cáu hoíi, caïch laìm thoaí maîn âêch. − Chæång 3 trçnh baìy caïc pheïp toaïn säú hoüc, pheïp so saïnh vaì âënh nghéa haìm sæí duûng pheïp âãû quy trong Prolog. − Chæång 4 trçnh baìy cáúu truïc danh saïch vaì caïc pheïp xæí lyï cå baín trãn danh saïch cuía Prolog. − Chæång 5 trçnh baìy kyî thuáût láûp trçnh náng cao våïi Prolog. − Pháön phuû luûc giåïi thiãûu ngän ngæî láûp trçnh SWI-Prolog, hæåïng dáùn caïch caìi âàût sæí duûng pháön mãöm naìy vaì mäüt säú chæång trçnh vê duû tiãu biãøu viãút trong SWI Prolog. Cuäún saïch naìy duìng laìm giaïo trçnh cho sinh viãn ngaình Tin hoüc vaì caïcâäüc giaí muäún tçm hiãøu thãm vãö kyî thuáût láûp trçnh cho lénh væûc trê tuãû nhán taûo. Trong quaï trçnh biãn soaûn, taïc giaí âaî nháûn âæåüc tæì caïc baûn âäöng nghiãûpnhiãöu âoïng goïp bäø êch vãö màût chuyãn män, nhæîng âäüng viãn khêch lãû vãö màûttinh tháön, sæû giuïp âåî vãö biãn táûp âãø cuäún saïch âæåüc ra âåìi. Taïc giaí xin âæåücbaìy toí loìng biãút ån sáu sàõc. Taïc giaí cuîng chán thaình caím ån moüi yï kiãún phãbçnh âoïng goïp cuía baûn âoüc gáön xa vãö näüi dung cuía cuäún saïch naìy. Âaì Nàông, ngaìy 27/05/2004 Taïc giaí. MUÛC LUÛCCHÆÅNG 1 MÅÍ ÂÁÖU VÃÖ NGÄN NGÆÎ PROLOG................................. 1I. GIÅÏI THIÃÛU NGÄN NGÆÎ PROLOG ........................................ 1 I.1. Prolog laì ngän ngæî láûp trçnh lägich ........................................... 1 I.2. Cuï phaïp Prolog........................................................................... 2 I.2.1. Caïc thuáût ngæî ............................................................................. 2 I.2.2. Caïc kiãøu dæî liãûu Prolog .............................................................. 3 I.2.3. Chuï thêch .................................................................................... 4II. CAÏC KIÃØU DÆÎ LIÃÛU SÅ CÁÚP CUÍA PROLOG......................... 5 II.1. Caïc kiãøu hàòng (træûc kiãûn) .......................................................... 5 II.1.1. Kiãøu hàòng säú ............................................................................... 5 II.1.2. Kiãøu hàòng lägich......................................................................... 5 II.1.3. Kiãøu hàòng chuäùi kyï tæû ................................................................ 5 II.1.4. Kiãøu hàòng nguyãn tæí .................................................................. 5 II.2. Biãún ............................................................................................. 6III. SÆÛ KIÃÛN VAÌ LUÁÛT TRONG PROLOG .................................... 6 III.1. Xáy dæûng sæû kiãûn ........................................................................ 6 III.2. Xáy dæûng luáût ........................................................................... 10 III.2.1. Âënh nghéa luáût ........................................................................ 10 III.2.2. Âënh nghéa luáût âãû quy ............................................................ 15 III.2.3. Sæí duûng biãún trong Prolog ....................................................... 18IV. KIÃØU DÆÎ LIÃÛU CÁÚU TRUÏC CUÍA PROLOG ......................... 19 IV.1. Âënh nghéa kiãøu cáúu truïc cuía Prolog ....................................... 19 IV.2. So saïnh vaì håüp nháút caïc haûng ................................................. 22CHÆÅNG 2 ...