Tài liệu học Prolog-Môn lập trình logic và ràng buộc

783 views
Skip to first unread message

Thanh Văn

unread,
Feb 22, 2014, 2:47:40 AM2/22/14
to cao-hoc-khm...@googlegroups.com
Hi các bạn học môn Lập trình logic và ràng buộc,
     Hồi học đại học Bách Khoa, Văn có học môn thực hành ngôn ngữ lập trình có làm Prolog. Tài liệu của trường bằng tiếng Việt và được trình bày rất dễ hiểu. Các bài tập cùng bài giải khá dễ hiểu. Văn có upload lên google drive, hi vọng tài liệu này giúp các bạn hiểu hơn về ngôn ngữ lập trình này:
    Tài liệu này gồm 3 phần:
- HuongDanThucHanhProlog.pdf: tài liệu học.
- BaiTapThucHanhProlog1.pdf: bài tập có bài giải.
- BaiTapThucHanhProlog2.pdf: bài tập không có bài giải

Duc Nghia

unread,
Feb 22, 2014, 6:45:05 AM2/22/14
to Thanh Văn, cao-hoc-khm...@googlegroups.com
Cảm ơn Văn nhiều


--
You received this message because you are subscribed to the Google Groups "Cao Hoc KHMT DHBK 2013" group.
To unsubscribe from this group and stop receiving emails from it, send an email to cao-hoc-khmt-dhbk...@googlegroups.com.
To post to this group, send email to cao-hoc-khm...@googlegroups.com.
Visit this group at http://groups.google.com/group/cao-hoc-khmt-dhbk-2013.
For more options, visit https://groups.google.com/groups/opt_out.

Lê Thị Minh Thùy

unread,
Feb 22, 2014, 9:54:34 PM2/22/14
to Duc Nghia, Thanh Văn, cao-hoc-khm...@googlegroups.com
Minh da upload len Google Drive cua lop roi. Thanks Van

Biet Vo

unread,
Feb 23, 2014, 8:49:40 AM2/23/14
to cao-hoc-khm...@googlegroups.com
Lang thang trên mạng tìm 2 trang chỉ về problog, mọi người xem qua nha.


bài tập về 8 hậu của thầy mọi người đừng copy source chạy nha, lỗi đó :))

p/s: PROLOG means PROgramming in LOGic

Vào 09:54:34 UTC+7 Chủ nhật, ngày 23 tháng hai năm 2014, Lê Thị Minh Thùy đã viết:
Minh da upload len Google Drive cua lop roi. Thanks Van
2014-02-22 18:45 GMT+07:00 Duc Nghia <tdngh...@gmail.com>:
Cảm ơn Văn nhiều


2014-02-22 14:47 GMT+07:00 Thanh Văn <thanhv...@gmail.com>:
Hi các bạn học môn Lập trình logic và ràng buộc,
     Hồi học đại học Bách Khoa, Văn có học môn thực hành ngôn ngữ lập trình có làm Prolog. Tài liệu của trường bằng tiếng Việt và được trình bày rất dễ hiểu. Các bài tập cùng bài giải khá dễ hiểu. Văn có upload lên google drive, hi vọng tài liệu này giúp các bạn hiểu hơn về ngôn ngữ lập trình này:
    Tài liệu này gồm 3 phần:
- HuongDanThucHanhProlog.pdf: tài liệu học.
- BaiTapThucHanhProlog1.pdf: bài tập có bài giải.
- BaiTapThucHanhProlog2.pdf: bài tập không có bài giải

--
You received this message because you are subscribed to the Google Groups "Cao Hoc KHMT DHBK 2013" group.
To unsubscribe from this group and stop receiving emails from it, send an email to cao-hoc-khmt-dhbk-2013+unsub...@googlegroups.com.

To post to this group, send email to cao-hoc-khm...@googlegroups.com.
Visit this group at http://groups.google.com/group/cao-hoc-khmt-dhbk-2013.
For more options, visit https://groups.google.com/groups/opt_out.

--
You received this message because you are subscribed to the Google Groups "Cao Hoc KHMT DHBK 2013" group.
To unsubscribe from this group and stop receiving emails from it, send an email to cao-hoc-khmt-dhbk-2013+unsub...@googlegroups.com.

Thanh Văn

unread,
Feb 27, 2014, 12:40:20 PM2/27/14
to cao-hoc-khm...@googlegroups.com
Hi all,

      Source của thầy đúng đó, không có lỗi đâu. Chẳng qua là các lỗi do copy từ Powerpoint sang notepad thôi: ví dụ: ký tự "|" trong ngăn cách chuỗi được paste thành chữ "I" (chữ i hoa), hoặc ký tự "-" trong phép trừ được chuyển thành một ký tự khác, ... Các bạn chỉ cần xem thông báo lỗi khi biên dịch của Prolog và sửa lại một số chi tiết nhỏ là OK. Văn đã chạy thử cả 3 phương pháp, tất cả đều OK. Chúc các bạn thành công!

Thân,
Thanh Văn
---------------

Vào 20:49:40 UTC+7 Chủ nhật, ngày 23 tháng hai năm 2014, Biet Vo đã viết:

Duc Nghia

unread,
Feb 27, 2014, 12:55:47 PM2/27/14
to Thanh Văn, cao-hoc-khm...@googlegroups.com
Nghĩa chạy thử bài toán 8 con hậu, PP1 và 3 ok, nhưng PP2 thì bị báo lỗi. mặc dù vẫn ra kết quả bình thường

| ?- ['R2.txt'].
consulting::R2.txt
** Error  : Trying to redefine built-in:'R2.txt',2::permutation/2
** Error  : Trying to redefine built-in:'R2.txt',3::permutation/2
2 error(s)

Văn có thể giải thích giùm được ko?


Đức Nghĩa


To unsubscribe from this group and stop receiving emails from it, send an email to cao-hoc-khmt-dhbk...@googlegroups.com.

Pham Tran Thanh Van

unread,
Feb 27, 2014, 5:43:00 PM2/27/14
to Duc Nghia, cao-hoc-khm...@googlegroups.com
Hi Nghĩa,

      Cái này thì còn đơn giản nữa. Prolog có định nghĩa sẵn một số vị từ (ví dụ vị từ member trong phương pháp 1, hoặc permutation trong phương pháp 2 của bài toán 8 con hậu). Do đó, nó sẽ báo lỗi nếu chương trình định nghĩa các vị từ cùng tên và cùng thông số (permutation/2: nghĩa là hàm permutation có 2 thông số, buit-in: nghĩa là đã được tích hợp sẵn rồi) . Do đó, Nghĩa chỉ cần xóa các hàm này đi là xong. (vì thầy đặc tả trong slide là trong trường hợp Prolog không có hàm định nghĩa sẵn nào cả). Nghĩa sửa lại rồi chạy là OK thôi.

Thân,
Thanh Văn
---------------

Thân,
Thanh Văn
----------------

Thanh Văn

unread,
Feb 27, 2014, 5:52:16 PM2/27/14
to cao-hoc-khm...@googlegroups.com
Hi all,

    Ah, để mọi người dễ dàng copy kết quả trên prolog, Văn share cách mình đã làm nhé. Thay vì các bạn phải xem một kết quả rồi chụp màn hình lại mới tiếp tục bấm kết quả khác, các bạn có thể bấm liên lục để có 92 kết quả rồi copy nó vào Word hay Notepad thì làm nhanh hơn nhiều. Cách làm như sau:
- Tăng buffer size của chiều cao màn hình (để có thể lưu lại hết 92 kết quả): chạy file bp.exe --> phải chuột vào thanh title bar  (ngang với nút thu nhỏ, phóng to, ...), chọn properties --> Layouts --> Tăng giá trị Height của Screen buffer size (Văn chọn 9000 luôn cho nó ... bảo đảm).
- Copy toàn bộ màn hình vào clipboard: phải chuột vào màn hình command line --> select all --> bấm Enter --> Paste vào một chương trình soạn thảo văn bản.
    Chúc mọi người thành công.

Thân,
Thanh Văn
---------------

Vào 14:47:40 UTC+7 Thứ bảy, ngày 22 tháng hai năm 2014, Thanh Văn đã viết:

Duc Nghia

unread,
Feb 27, 2014, 7:53:06 PM2/27/14
to Thanh Văn, cao-hoc-khm...@googlegroups.com
Cảm ơn Văn rất nhiều, đã sửa và chạy ok.

Khi in kết quả ở cả 3 PP, Nghĩa thấy làm như vầy sẽ nhanh hơn :
- Các bạn dùng vị từ findall, VD : trong PP2 : ?- findall( S, solution(S), L). --> như thế, L sẽ chứa tất cả các kết quả của bài toán, và sẽ được xuất ra màn hình dưới dạng :
   List2 = [[1,5,8,6,3,7,2,4],[1,6,8,3,7,4,2,5],[1,7,4,6,8,2,5,3],[1,7,5,8,2,4,6,3], ... ....] - 92 kết quả
- Để copy : bạn click phải chuột --> select all --> enter
- Cuối cùng, paste nó vào Word, xóa đi các thứ ko cần thiết là ok.

@all : cho Nghĩa hỏi, bài tập thầy cho ở tuần đầu tiên :
- chỉ có 1 bài thôi phải ko?
- "Hãy diễn tiến vị từ ?- conc( [a,b], [c,d], L4)." --> mình phải giải thích mệnh đề bằng tay đúng ko?


Đức Nghĩa


Thanh Văn

unread,
Feb 27, 2014, 8:30:11 PM2/27/14
to cao-hoc-khm...@googlegroups.com, Thanh Văn
Hi Nghĩa,

    Bài tập ở tuần đầu tiên không phải là chạy bằng tay mà là vẽ cây search tree để khi thực thi conc([a,b], [c,d], L4). Nghĩa có thể tham khảo trong tài liệu học Prolog của bữa đầu tiên với ví dụ là vị từ Predecessor.

Thân,
Thanh Văn
---------------

Vào 07:53:06 UTC+7 Thứ sáu, ngày 28 tháng hai năm 2014, Duc Nghia đã viết:
To unsubscribe from this group and stop receiving emails from it, send an email to cao-hoc-khmt-dhbk-2013+unsub...@googlegroups.com.

Duc Nghia

unread,
Feb 27, 2014, 11:06:41 PM2/27/14
to Thanh Văn, cao-hoc-khm...@googlegroups.com
Cảm ơn Văn nhiều (do bữa đầu ko đi học nên ko biết).


To unsubscribe from this group and stop receiving emails from it, send an email to cao-hoc-khmt-dhbk...@googlegroups.com.

tha...@isvnu.vn

unread,
Oct 18, 2016, 10:37:04 PM10/18/16
to Cao Hoc KHMT DHBK 2013
Vào 14:47:40 UTC+7 Thứ Bảy, ngày 22 tháng 2 năm 2014, Thanh Văn đã viết:
Cám ơn bạn Vân nhiều, tài liệu rất bổ ích.
Mình đang tìm hiểu về prolog, nếu có chỗ nào không hiểu, mình nhờ bạn Vân giúp đỡ nha.

tks and regards,

minhd...@gmail.com

unread,
Nov 9, 2018, 2:21:29 AM11/9/18
to Cao Hoc KHMT DHBK 2013
Chào mọi người,e là thành viên mới, e mới học prolog và có một bài tập mà ko có định hướng để làm, nhờ mọi người giúp đỡ
Capture.PNG

tanhng...@gmail.com

unread,
Apr 6, 2020, 5:06:22 AM4/6/20
to Cao Hoc KHMT DHBK 2013
nhờ các anh , chị giúp đỡ giải bài tập để qua môn ah,
em cảm ơn nhiều ah

Baitap3.pdf

Neko Rin

unread,
Dec 28, 2021, 4:29:32 AM12/28/21
to Cao Hoc KHMT DHBK 2013
Hi, 
Thời gian cũng lâu về bài tập prolog này rồi, kh bây giờ mình có thể xin file bài tập prolog này không,
Cảm ơn bạn 
Vào lúc 08:47:40 UTC+1 ngày Thứ Bảy, 22 tháng 2, 2014, Thanh Văn đã viết:
Reply all
Reply to author
Forward
0 new messages