PROLOG KẾT NỐI C# Tomy Dragon Phạm Minh Luân Trần Duy Hưng NỘI DUNG • Nguyên tắc kết nối • Yeild Prolog kết nối C# • SWI-Prolog kết nối C# - Kiến thức bổ trợ - Tạo code trên C# - Load code KiẾN THỨC CẦN THIẾT • Phương thức assert • Cú pháp assert (term). Ngữ nghĩa: thêm một fact hay rule vào trong nội database của prolog KiẾN THỨC CẦN THIẾT • Lệnh consult • Cú pháp • Ý nghĩa: dùng để load chương trình vào DB của Prolog consult(‘path’). TẠO SWI-PROLOG TRÊN C# • Nguyên tắc: - SWI-Prolog đc nạp vào C# nhờ vào thư viện SWIPLCS.dll và nunit.framework.dll - Hai thư viện này cung cấp các lệnh để chuyển C# thành Prolog SWIPLCS.dll SbsSW.SwiPlCs PlException SWI – Prolog connect C# (demo) Hướng dẫn viết code • B1: load thư viện SWIPLCS.dll và nunit.framework.dll vào chương trình. B2: Initial Prolog Engine • Trong Void Main() của class Programe.cs if (!PlEngine.IsInitialized) { String[] empty_param = { "" }; PlEngine.Initialize(empty_param); Application.Run(new Form1()); PlEngine.PlCleanup(); } B3: Design giao diện txtPrograme txtQuery txtResult button2 button1 [...]...B4: tạo Class ConnectProlog.cs Phương th c nhapDuLieu(string s) Phương th c inputTerm(string s) Phương th c nhapQuery(string s) Phương th c result B5: Đăng ký sự kiện lắng nghe SWI -Prolog connect C# (demo load code) Hướng dẫn code • • • • B1: Load dll B2: Design giao diện B3: Initial Prolog Engine B4: Tạo lớp connectProlog.cs Phương th c load file Phương th c result . PROLOG KẾT NỐI C# Tomy Dragon Phạm Minh Luân Trần Duy Hưng NỘI DUNG • Nguyên t c kết nối • Yeild Prolog kết nối C# • SWI -Prolog kết nối C# - Kiến th c. Nguyên t c: - SWI -Prolog c nạp vào C# nhờ vào thư viện SWIPLCS.dll và nunit.framework.dll - Hai thư viện này cung c p c c lệnh để chuyển C# thành Prolog