PROLOG KẾT NỐI C

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

0
236
lượt xem
78
download

PROLOG KẾT NỐI C

Mô tả tài liệu
  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ủ đề:
Lưu

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

  1. PROLOG KẾT NỐI C# Tomy Dragon Phạm Minh Luân Trần Duy Hưng
  2. 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
  3. 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
  4. 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
  5. 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
  6. SWIPLCS.dll SbsSW.SwiPl Cs PlExceptio n
  7. SWI – Prolog connect C#  (demo)
  8. Hướng dẫn viết code • B1: load thư viện  SWIPLCS.dll và nunit.framework.dll vào chương trình.
  9. 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();
  10. B3: Design giao diện txtQuery txtProgram txtResult e button2 button1
  11. B4: tạo Class ConnectProlog.cs
  12. Phương thức nhapDuLieu(string s)
  13. Phương thức inputTerm(string s)
  14. Phương thức nhapQuery(string  s)
  15. Phương thức result
  16. B5: Đăng ký sự kiện lắng nghe
  17. SWI­Prolog connect C# (demo load  code)
  18. Hướng dẫn code • B1: Load dll • B2: Design giao diện • B3: Initial Prolog Engine • B4: Tạo lớp connectProlog.cs
  19. Phương thức load file
  20. Phương thức result

CÓ THỂ BẠN MUỐN DOWNLOAD

Đồng bộ tài khoản