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