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 | 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 và - Hai thư viện này cung cấp các lệnh để chuyển C# thành Prolog PlException SWI – Prolog connect C# (demo) Hướng dẫn viết code B1: load thư viện và vào chương trình. B2: Initial Prolog Engine Trong Void Main() của class if (!) { String[] empty_param = { "" }; (empty_param); (new Form1()); (); } B3: Design giao diện . | 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 và - Hai thư viện này cung cấp các lệnh để chuyển C# thành Prolog PlException SWI – Prolog connect C# (demo) Hướng dẫn viết code B1: load thư viện và vào chương trình. B2: Initial Prolog Engine Trong Void Main() của class if (!) { String[] empty_param = { "" }; (empty_param); (new Form1()); (); } B3: Design giao diện txtPrograme txtQuery txtResult button2 button1 B4: tạo Class 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 Phương thức load file Phương thức result
