BÁO cáo THỰC tập tốt NGHIỆP tư vấn MUA XE máy

BỘ GIAO THÔNG VẬN TẢI BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC HÀNG HẢI VIỆT NAM HOÀNG THỊ KỲ BÁO CÁO THỰC TẬP TỐT NGHIỆP TƯ VẤN MUA XE MÁY HẢI PHÒNG - 2015 BỘ GIAO THÔNG VẬN TẢI BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC HÀNG HẢI VIỆT NAM HOÀNG THỊ KỲ BÁO CÁO THỰC TẬP TỐT NGHIỆP TƯ VẤN MUA XE NGÀNH: CÔNG NGHỆ THÔNG TIN; MÃ SỐ: 114 CHUYÊN NGÀNH: CÔNG NGHỆ THÔNG TIN Người hướng dẫn khoa học: Nguyễn Hạnh Phúc HẢI PHÒNG - 2015 MỤC LỤC i MỘT SỐ TỪ VIÊT TẮT CÓ TRONG BÀI HCGƯD CSTT MTSD NSD BDTT CM TVMX TVGT XENK LTV KSTT HỆ CHUYÊN GIA ỨNG DỤNG CƠ SỞ TRI THỨC MÔ TƠ SUY DIỄN NGƯỜI SỬ DỤNG BIỂU DIỄN TRI THỨC CHUYÊN MÔN TƯ VẤN MUA XE TƯ VẤN GIÁ TIỀN XE NHẬP KHẨU LẬP TRÌNH VIÊN KĨ SƯ TRI THỨC DANH MỤC CÁC BẢNG Số bảng Tên bảng Trang Vai trò kĩ sư tri thức 2 Thông tin số loại xe 15 Một số thông số xe 16 DANH MỤC CÁC HÌNH VẼ Số hình Tên hình Trang 1.1 Cấu trúc hệ chuyên gia 1.2 Sơ đồ thuật toán suy diễn tiến 1.3 10 3.1 Biểu diễn phân lớp kiểu liệu Biểu tượng hãng xe Honda 3.2 Biểu tượng hãng xe Piaggio 12 3.3 Biểu tượng hãng xe Yamaha 13 3.5 Biểu diễn liệu Prolog 18 4.1 Kết đạt 20 ii 11 CHƯƠNG TỔNG QUAN 1.1 Giới thiệu toán Hiện nay, khoa học công nghệ phát triển đời sống người ngày nâng cao Trước để hết quãng đường khoang 5km đồng hồ nhung ngày oto, xe máy đời rút ngắn thời gian xuống nhiều Cùng với phất triển khoa học công nghệ có nhiều loại xe, mẫu mã, kiểu dáng đời làm cho đặt nhiều câu hỏi mua xe Để chọn xe máy phù hợp với túi tiền, công việc, sở thích đơn giản Một xe máy đẹp bên giúp trinh phục nẻo đường mà thể tính cách, sở thích sành điệu bạn Hệ tư vấn mua xe máy hỗ trợ cho người sử dụng chọn xe máy phù hợp với cá nhân người sử dụng 1.2 Cơ sở lí thuyết 1.2.1 Hệ chuyên gia 1.2.1.1 Hệ chuyên gia ? Khái niệm: Hệ chuyên gia (HCG ) chương trình ứng dụng (CTƯD) khai thác sở tri thức (CSTT) thu nạp từ nguồn tri thức chuyên môn dựa việc sử dụng chế suy diễn để giải toán tư vấn khó đạt trình độ cỡ chuyên gia lành nghề i) Ta có sơ đồ mô tả sau: HCGƯD = CSTT + MTSD (BDTT) Nguồn tri thức Chuyên gia NSD Tài liệu chuyên môn Qua sơ đồ ta thấy: Một chương trình ứng dụng xây dựng dựa CSTT (MTSD) mô tơ suy diễn Trong CSTT lấy từ nguồn tri thức Có hai loại xin ý kiến từ chuyên gia lĩnh vực đó, lấy theo cách thứ hai tổng hợp từ tài liệu chuyên môn Còn MTSD phụ thuộc vào người dùng người dùng đưa ii) Vai trò kỹ sư tri thức (knowledge Engineer) Xd HT3QL Nhà c/m LTV Analyzer XD HCG C gia LTV Kĩ sư TT Lĩnh vực CM SUPER Super ε Tin học Super Super Super SUPER ε S ε ε ε Super Super iii) Xây dựng hệ chuyên gia Sau xét trò nhân tố mục ta thấy để xây dựng hệ chuyên gia cần có tham gia nhân tố kết hợp họ tiến hành thời gian dài( long-term) Các nhân tố bao gồm: - CGia - LTV - Kĩ sư tri thức iv) Hai phương cách xây dựng hệ chuyyên gia ứng dụng Cách 1: Với cách có kết hợp nỗ lực giũa chuyên gia, kĩ sư tri thức lập trình viên Họ làm việc kết xây dựng hệ chuyên gia HCGƯD = ∑ nỗ lực (CGia + KSTT + LTV) Cognitive Engineering Cách 2: Trong cách tham gia Lập trình viên HCGƯD = ∑ nỗ lực (CGia + KSTT) + CÔNG CỤ ES Generation KBMS Shell ES ES Building to Empty ES v) Hệ tri thức(knowledge system) Tri thức thu nạp từ nhiều nguồn khác là: +Tài liệu +KDD +Knowledge Base System +Knowledge Base System : Hệ thống làm việc sở tri thức vi) Hệ chuyên gia nhằm giải toán tư vấn (consultation) khó vii) Hệ chuyên gia phải đạt trình độ cao HTTTQL Nhiều thông tin Nhanh Chính xác HCG Ít Chậm KCX SUPER cross - validation 1.2.1.2 Cấu trúc hệ chuyên gia Một hệ chuyên gia kiểu mẫu bao gồm thành phần sau : Hình 1.1 Cấu trúc hệ chuyên gia 1.2.1.3 Ứng dụng hệ chuyên gia Hiên hệ chuyên gia ứng dụng nhiều lĩnh vực khác nhau: ví dụ công nghệp, nông nghiệp, khoa học máy tính, thương mại khí tượng, y học, quân sự, hoá học Đặ biệt giai đoạn gần việc ứng dụng hệ chuyên gia vào lĩnh vực giáo dục đào tạo phát triển mạnh Ở đâu cần tư vấn xây dựng hệ chuyên gia * Các dạng toán (Sự tư vấn) - Diễn giải (Interpretation): Đưa mô tả tình liệu thu thập - Dự báo (Hediction): đưa hậu tình đó, dự báo thời tiết, dự báo giá thị trường - Chuẩn đoán (Diagnosis): Xác định lỗi , phận hỏng hóc hệ thống dựa liệu quan sát được.(Khi hệ thống hoạt động không bình thường) - Gỡ rối (Debugging): Mô tả phương pháp khắc phục hệ thống gặp cố - Thiết kế : lựa chọn cấu hình đói tượng nhằm thoả mãn số ràng buộc đó: x: CAD Intelligent (x) : CAD - Giảng dạy : Phần mềm dạy học, chuẩn đoán sủa lỗi học sinh trình học tập 1.2.2 Biểu diễn tri thức 1.2.2.1 Cơ sở tri thức Khái niệm sở tri thức tập hợp tri thức liên quan đến vấn đề mà chương trình quan tâm giải tạo thành sở tri thức 1.2.2.2 Biểu diễn tri thức - Biểu diễn tri thức (knowledge representation) lĩnh vực nghiên cứu quan trọng Trí tuệ nhân tạo Nhằm phát triển phương pháp, cách thức biểu diễn tri thức công cụ hỗ trợ việc biểu diễn tri thức - Có nhiều phương pháp biểu diễn tri thức, phải phụ thuộc vào tri thức cụ thể toán ta chọn phương pháp biểu diễn hợp lý • Biểu diễn tri thức luật sản xuất (Production rules) • Biểu diễn tri thức khung (Frames) • Biểu diễn tri thức sử dụng mạng ngữ nghĩa(Semantic networks ) • Biểu diễn tri thức ontology • Các mô hình xác suất …………… - Khi biểu diễn tri thức cho toán, việc biểu diễn coi tốt chúng thỏa mãn yếu tố sau • Tính hoàn chỉnh (Completeness) • Tính ngắn gọn (Conciseness) • Tính hiệu tính toán( Computational efficiency) • Tính rõ ràng, dễ hiểu(Transparency) - Với toán cụ thể xét- toán tư vấn mua laptop, việc biểu diễn tri thức sử dụng luật phương pháp biểu diễn hợp lý 1.2.2.3 Biểu diễn tri thức dựa luật - Phương pháp biểu diễn tri thức luật sinh phát minh Newell Simon lúc hai ông cố gắng xây dựng hệ giải toán tổng quát Đây kiểu biểu diễn tri thức có cấu trúc, sử dụng phổ biến hệ sở tri thức - Ý tưởng tri thức cấu trúc cặp điều kiện – hành động : "NẾU điều kiện xảy THÌ hành động thi hành" - Trong biểu diễn tri thức sử dụng luật, ta cần xác định: • Tập kiện F(Facts) Trong chương trình Prolog thích đặt /* */ Ví dụ: /* không động vào*/ Trong trường hợp muốn đặt thích ngăn sau môi phần khai báo Prolog cho hết dòng đặt dấu % Ví dụ : %%%%%%%%%%% thích %%%%% CHƯƠNG III GIẢI QUYẾT BÀI TOÁN 3.1 Thu thập tri thức - Thu thập tri thức bước mở đầu quan trọng cho toán, đặc biệt toán tư vấn đưa định - Các tri thức cụ thể toán tư vấn mua xe máy: + Dựa liệu xe máy bao gồm: kiểu dáng, màu sắc, hãng xe, xuất xứ, phân khối, giá tiền, khả tiêu thụ xăng, + Dữ liệu người sử dụng: tuổi tác, nghề nghiệp, giới tính, sở thích……… Sau tìm hiểu thông tin chi tiết số hãng xe máy hot thị trườn nước ta nay: - Đầu tiên phải nói đến hãng xe người tiêu dùng bình chọn cao hãng Honda 12 3.1 Biểu tượng hãng xe Honda Kể từ Honda bước chân vào thị trường Việt Nam đến người tiêu dùngViệt Nam biết đến với uy tín chất lượng tập đoàn sản xuất xe máy lớn giới Sản phẩm ban đầu xe Honda Cub 50, Cub 70, Super Cub,… thực chinh phục lòng tin người tiêu dùng Việt Nam chất lượng tiện dụng sản phẩm Hãng xe mang đến sản phẩm xe máy công nghệ cao thân thiện với môi trường.Honda Việt Nam cung cấp cho thị trường sản phẩm sau: Super Dream (nay có Super Dream mới);Future gồm: Future NEO Future II;xe Wave gồm: Wave α, Wave ZX, Wave RS; xe tay ga Spacy, @, SH, Dylan Xe máy tập đoàn Honda Việt Nam mang đến cho người sử dụng cảm giác an toàn, tin tưởng vào chất lượng độ bền xe Sau 10 năm vào hoạt động kinh doanh, công ty Honda Việt Nam bước trưởng thành đứng vững thị trường xe máy Việt Nam Thứ hai nói đén dòng xe tay ga với nhiều kiếu dáng, mẫu mã sang trọng Piaggio 13 Hình 3.2 Biểu tượng hãng xe Piaggio Piaggio thương hiệu xe tay ga thuộc tập đoàn Piaggio & C S.p.a, biểu tượng cho tiên phong sống đại.Thương hiệu bao gồm dòng xe thể cách tân mang tính công nghệ, an toàn, thân thiện mang thiết kế cao cấp, sành điệu Đây thương hiệu hấp dẫn dành cho tất thích thay đổi làm mình.Tại Việt Nam, thương hiệu Piaggio đem đến cho người tiêu dùng Việt Nam dòng sản phẩm đẳng cấp là: Beverly, Liberty, Fly ZIP.Với phong cách Ý đặc trưng, Beverly kết hợp hoàn hảo thiết kế độc đáo với chi tiết sang trọng tính cao cấp, làm tăng thêm thoải mái tiện dụng cho người sử dụng xe Được sản xuất với phiên 125 phân khối, có trang bị hệ thống phun xăng điện tử, Beverly bật kiểu dáng sang trọng, lịch lãm tính vượt trội Thứ ba nhắc đến dòng xe số dược ưa chuộng 14 Hình 3.3 Biểu tượng hãng xe Yamaha Chỉ xếp sau Honda, Yamaha hãng xe máy có doanh số bán xe đứng thứ thị trường Việt Nam Sự hoàn thiện, cải tiến công nghệ thiết kế giúp hãng xe Nhật Bản ngày chiếm cảm tình người dùng Việt Nam Kể từ có mặt thức Việt Nam năm 1998 đến nay, Yamaha tung thị trường nhiều model khác Tuy thành công có thất bại có, tất đóng góp phần không nhỏ vào việc thay đổi quan niệm gọi xe máy “xe Honda” người tiêu dùng Việt Nam Những mẫu xe Yamaha thiết kế với ngôn ngữ chung, trẻ trung thể thao Bên cạnh đó, hãng xe Nhật Bản thường xuyên nâng cấp công nghệ, đời mẫu xe đánh giá cao Exciter, Jupiter, Nouv Thứ tư tìm hiểu đến dòng xe số hãng SYM 15 Hình 3.4 Biểu tượng hãng xe SYM Hiện sản phẩm SYM có mặt nhiều nước giới.Trở thành công ty tiên phong nghiên cứu phát triển lĩnh vực công nghiệp thiết kế, chế tạo, gia công lắp ráp xe mô-tô, gắn máy với tiến kỹ thuật nhằm cung cấp cho khách hàng sản phẩm ưu việt chất lượng, tính người tin dùng Sản phẩm mang thương hiệu SYM có hai dòng chính: xe Cub (xe số bình thường) xe Scooter (xe tay ga)Dòng xe Cub có nhãn hiệu xe sau:Angel, Magic, Star, Amigo, Bonus, HuskyDòng xe Scooter bao gồm: Attila, Excel, HD, GTS Bảng thông tin chi tiết số loại xe 16 Tên xe Giá tiền Loại xe Airblade 43 triệu xe ga Dream 26 triệu xe số Liberty 55 triệu xe ga Vespa 70 triệu xe ga Wave RS Engle 24 triệu xe số 17 triệu xe số Viva 23 triệu xe số Cub 10 triệu xe số Exerter 43 triệu xe số Lead 45 triệu xe ga SH 150i 80 triệu xe ga Sirius 20 triệu xe số Jupiter 26 triệu xe số Suzuki 30 triệu xe số Màu sắc Hãng xe đỏ, đen, trắng đen pha trắng trắng pha xanh, tím than màu vàng, màu đỏ,xanh,đen màu đỏ, đen honda màu tím, xanh màu xanh,màu đỏ màu trắng, vàng,đỏ vàng,đỏ pha đen màu sữa, màu mận chín màu đen, màu mận chín màu đen SYM màu vàng,đen,trắng đỏ, đen yamaha honda piaggio piaggio honda Suzuki honda honda honda honda yamaha suzuki - Cách thức thu thập thông tin: • Dựa tìm kiếm thông tin: internet liệu xe máy (kiểu dáng, màu sắc,hãng xe, ) 17 • Dựa hỏi đáp: liệu người sử dụng(tuổi tác, nghề nghiệp, giới tính, sở thích….) • Dựa thống kê để đưa tri thức Một số hình ảnh xe tìm kiếm internet thông số : mặt đồng hồ điện tử loại động cơ: thì, van bố trí : xi lanh đơn dung tich dầu máy: 0.95l dung tích bình xăng : 4.2l chế hòa khí: phung xăng vòi thông số: đông thì, xi lanh đơn,kim phun điện tử hệ thống làm mát gió cững dung tích bình xăng 7l Động Cơ bốn thì, làm mát chất lỏng, DOHC Dung tích động 296 cc Đường kính x Hành trình pittông 62.0 x 49.0mm Công suất tối đa Hệ thống làm mát Bằng chất lỏng 18 Động hệ mới: eSP - Động thông minh hệ mới, thiết kế nhỏ gọn, 125cc, kỳ, xylanh đơn, làm mát dung dịch & tích hợp công nghệ tiên tiến Nhờ đó, SH mode có khả tiết kiệm nhiên liệu đến 56% (*) so với dòng xe ga 125cc loại (không sử dụng eSP Idling Stop) 3.2 Biểu diễn tri thức - Đối với toán tư vấn mua xe máy phương pháp biêu diễn tri thức dạng tập luật phương pháp biểu diễn hợp lí - Các liệu nhập vào lưu trữ sau 19 Hình 3.4 Biểu diễn liệu 20 3.3 Suy diễn tiến - Đối với toán tư vấn mua xe máy (dạng toán đưa định) nên phương pháp suy diễn tiến phương pháp phù hợp - Trong nội dung tập lớn này, em cài đặt thuật toán suy diễn tiến với đầu đủ ý tưởng ban đầu thuật toán thêm số cải tiến để giúp tránh nhược điểm thuật toán - Lặp lại bước sau suy kết luận: - Trong trường hợp xảy xung đột luật tức bước suy diễn có nhiều bước sử dụng + Giải xung đột luật đồng thời tránh vòng lặp tránh việc chứng minh lặp lại mệnh đề + Không áp dụng luật sinh kết (các kiện) có nhớ làm việc + Không áp dụng lại luật sinh tập kiện (giống lần áp dụng trước nó.) Ví dụ: - Thực suy diễn tiến với tập luật bao gồm Rule1 : if nhucau= xega Then tenxe=vespa and tenxen=liberty (nếu mua xe ga có loai xe vespa liberty ) Rule2: if mauxe=mauvang Then tênxe=exerter and tenxe=lead (nếu muốn mua xe màu vàng thi có loại xe exerter lead ) Rule3: if giatien=dưới 20 triệu Then tenxe=cub (nếu tầm tiền 20 triệu có xe cub) Rule4: if xuatxu= Italy Then tenxe= vespa and tenxen=liberty (nếu muốn mua xe có xuất xứ từ Italy có loại xe liberty vespa) Rule5: if hangxe = suzuki Then tenxe= viva (nếu muốn mua xe hãng suzuki có xe viva) Rule6: if xuatxu= Italy and giatien=baymuoitrieu Then tenxe= vespa (nếu muốn mua xe có xuất xứ từ Italy giá tiền 70 triệu có xe vespa) CHƯƠNG IV : CÀI ĐẶT CHƯƠNG TRÌNH VÀ CHẠY BÀI TOÁN 21 4.1 Cài đặt chương trình Chương trình chạy ngôn ngữ Prolog 4.2 Chay Kiểm thử Kết đạt 22 23 24 25 KẾT LUẬN Sau khoảng thời gian tìm hiểu nghiên cứu đề tài này, với nỗ lực thân hướng dẫn tận tình thầy Nguyễn Hạnh Phúc, em xây dựng hệ chuyên gia tư vấn mua xe máy hiểu biết thân hạn chế nên tránh khỏi nhiều thiếu sót Em mong nhận tham gia góp ý giúp đỡ thầy cô giáo để em hoàn thành tốt phát triển hệ thống thời gian tới Cuối em xin chân thành cảm ơn thầy Nguyễn Hạnh Phúc thầy cô giáo khoa Công nghệ thông tin, trường Đại học Hàng Hải Việt Nam tạo điều kiện để chúng em hoàn thành đề tài Em xin chân thành cảm ơn Tài liệu tham khảo - Cuốn giảng môn Hệ chuyên gia thầy Đặng Hoàng Anh, khoa Công nghệ thông tin trường Đại học Hàng Hải - Tài liệu ,luận văn thầy Phan Trí Huy 26 [...]... tin chi tiết về một số loại xe 16 Tên xe Giá tiền Loại xe Airblade 43 triệu xe ga Dream 26 triệu xe số Liberty 55 triệu xe ga Vespa 70 triệu xe ga Wave RS Engle 24 triệu xe số 17 triệu xe số Viva 23 triệu xe số Cub 10 triệu xe số Exerter 43 triệu xe số Lead 45 triệu xe ga SH 150i 80 triệu xe ga Sirius 20 triệu xe số Jupiter 26 triệu xe số Suzuki 30 triệu xe số Màu sắc Hãng xe đỏ, đen, trắng đen pha trắng... cùng một tập các sự kiện (giống như lần áp dụng trước của nó.) Ví dụ: - Thực hiện suy diễn tiến với tập luật bao gồm Rule1 : if nhucau= xega Then tenxe=vespa and tenxen=liberty (nếu mua xe ga thì có 2 loai xe là vespa và liberty ) Rule2: if mauxe=mauvang Then tênxe=exerter and tenxe=lead (nếu muốn mua xe màu vàng thi có 2 loại xe là exerter và lead ) Rule3: if giatien=dưới 20 triệu Then tenxe=cub (nếu... triệu thì chỉ có xe cub) Rule4: if xuatxu= Italy Then tenxe= vespa and tenxen=liberty (nếu muốn mua xe có xuất xứ từ Italy thì có 2 loại xe là liberty và vespa) Rule5: if hangxe = suzuki Then tenxe= viva (nếu muốn mua xe của hãng suzuki thì có xe viva) Rule6: if xuatxu= Italy and giatien=baymuoitrieu Then tenxe= vespa (nếu muốn mua xe có xuất xứ từ Italy và giá tiền bằng 70 triệu thì có xe vespa) CHƯƠNG... nhiên liệu đến 56% (*) so với dòng xe ga 125cc cùng loại (không sử dụng eSP và Idling Stop) 3.2 Biểu diễn tri thức - Đối với bài toán tư vấn mua xe máy phương pháp biêu diễn tri thức dưới dạng tập luật là một phương pháp biểu diễn hợp lí - Các dữ liệu được nhập vào và lưu trữ như sau 19 Hình 3.4 Biểu diễn dữ liệu 20 3.3 Suy diễn tiến - Đối với bài toán tư vấn mua xe máy (dạng bài toán đưa ra quyết định)... phần khai báo Prolog cho hết dòng có thể đặt dấu % Ví dụ : %%%%%%%%%%% đây cũng là một chú thích %%%%% CHƯƠNG III GIẢI QUYẾT BÀI TOÁN 3.1 Thu thập tri thức - Thu thập tri thức là bước mở đầu quan trọng cho mỗi bài toán, đặc biệt đối với bài toán tư vấn đưa ra quyết định - Các tri thức cụ thể của bài toán tư vấn mua xe máy: + Dựa trên các dữ liệu về xe máy bao gồm: kiểu dáng, màu sắc, hãng xe, xuất xứ,... NEO và Future II ;xe Wave gồm: Wave α, Wave ZX, Wave RS; xe tay ga Spacy, @, SH, Dylan Xe máy của tập đoàn Honda Việt Nam luôn mang đến cho người sử dụng cảm giác an toàn, sự tin tư ng vào chất lượng và độ bền của xe Sau hơn 10 năm đi vào hoạt động kinh doanh, công ty Honda Việt Nam đã từng bước trưởng thành và đứng vững trên thị trường xe máy Việt Nam Thứ hai có thể nói đén dòng xe tay ga với nhiều... thiết kế, chế tạo, gia công và lắp ráp xe mô-tô, gắn máy với sự tiến bộ về kỹ thuật nhằm cung cấp cho khách hàng những sản phẩm ưu việt về chất lượng, tính năng và được mọi người tin dùng Sản phẩm mang thương hiệu SYM có hai dòng chính: xe Cub (xe số bình thường) và xe Scooter (xe tay ga)Dòng xe Cub có các nhãn hiệu xe sau:Angel, Magic, Star, Amigo, Bonus, HuskyDòng xe Scooter bao gồm: Attila, Excel, HD,... người tiêu dùngViệt Nam biết đến với uy tín và chất lượng của một tập đoàn sản xuất xe máy lớn nhất trên thế giới Sản phẩm ban đầu là những chiếc xe Honda Cub 50, Cub 70, Super Cub,… đã thực sự chinh phục được lòng tin của người tiêu dùng Việt Nam bằng chính chất lượng và sự tiện dụng của những sản phẩm đó Hãng xe còn mang đến các sản phẩm xe máy công nghệ cao và thân thiện với môi trường.Honda Việt Nam... Bên cạnh đó, hãng xe Nhật Bản cũng thường xuyên nâng cấp về công nghệ, để cho ra đời những mẫu xe được đánh giá cao như Exciter, Jupiter, Nouv Thứ tư chúng ta sẽ tìm hiểu đến dòng xe số của hãng SYM 15 Hình 3.4 Biểu tư ng của hãng xe SYM Hiện nay sản phẩm của SYM đã có mặt tại rất nhiều nước trên thế giới.Trở thành công ty tiên phong về nghiên cứu và phát triển trong lĩnh vực công nghiệp thiết kế, chế... đề này thường 9 được sử dụng để mô tả các dữ kiện của bài toán, ví dụ như việc khai báo xe vespa là xe ga: Ga(vespa) 2.2.2 Luật Phần còn lại của các mệnh đề trong một chương trình Prolog được gọi là luật Nó thường thể hiện những phát biểu logic trong bài toán, ví dụ như nếu ta đề thì xe nổ máy: Nổ _máy( X):-đề(X),ắc_quy _tốt Toán tử “:-“ có thể được hiểu là “ nếu “ , trong logic thì nó đại diện cho toán