PROLOG KẾT NỐI C
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (160.5 KB, 20 trang )
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.
