PROLOG KẾT NỐI C

Chia sẻ: Lại Văn Nghĩa | Ngày: | Loại File: PPT | Số trang:20

Thêm vào BST

Báo xấu

288
lượt xem 81
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

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

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: PROLOG KẾT NỐI C

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 consult(‘path’) . • Ý nghĩa: dùng để load chương trình vào DB của Prolog
TẠO SWIPROLOG 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.SwiPl Cs PlExceptio n
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 txtQuery txtProgram txtResult e 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
SWIProlog 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