TAILIEUCHUNG - Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 10

Phần còn lại của các mệnh đề trong một chương trình Prolog được gọi là luật. Nó thường thể hiện những phát biểu logic trong bài toán, ví dụ như nếu công tác đèn bật thì đèn sáng | Kỹ thuật lập trình Prolog 167 displaylist X L - write X tab 1 displaylist L nl. Yes . Ứng dụng chế độ làm việc với các tệp . Định dạng các hạng Giả sử một bản ghi cơ sở dữ liệu là một sự kiện có dạng cấu trúc hàm tử của Prolog có nội dung như sau family individual tom smith date 7 may 1960 work microsoft 30000 individual ann smith date 9 avril 1962 inactive individual roza smith date 16 june 1991 inactive individual eric smith date 23 march 1993 inactive . Ta cần in ra nội dung bản ghi sử dụng vị từ write F theo quy cách như sau parents tom smith birth day may 7 1960 work microsoft salary 30000 ann smith birth day avril 9 1962 out of work children roza smith birth day june 16 1991 out of work eric smith birth day march 23 1993 out of work Ta xây dựng thủ tục writefamily F như sau writefamily family Husband Wife Children -nl write parents nl nl writeindividual Husband nl writeindividual Wife nl nl write children nl nl writeindividual Children . writeindividual individual Firstname Name date D M Y Work -tab 4 write Firstname tab 1 write Name write birth day write M tab 1 write D tab 1 write write Y write 168 Lập trình lagich trong Prolog writework Work . writeindividual . writeindividual P L -writeindividual P nl writeindividual L . writework inactive -write out of work . writework work Soc Sal -write work write Soc write salaire write Sal . Thực hiện đíchX . writefamily X ta nhận được kết quả như sau - X family individual tom smith date 7 may 1960 work microsoft 30000 individual ann smith date 9 avril 1962 inactive individual roza smith date 16 june 1991 inactive individual eric smith date 23 march 1993 inactive writefamily X . parents tom smith birth day may 7 1960 work microsoft salaire 30000 ann smith birth day avril 9 1962 out of work children roza smith birth day june 16 1991 out of work eric smith birth day march 23 1993 out of work X family individual tom smith date 7 may 1960 work microsoft 30000 individual ann smith date 9 avril 1962 inactive .

• Kỹ thuật lập trình
• Tài liệu lập trình
• thủ thuật lập trình
• Ngôn ngữ lập trình
• ngôn ngữ prolog
• chuẩn ISO
• ngôn ngữ máy tính
• Tài liệu IT
• Kiến thức lập trình
• Học lập trình
• Công cụ lập trình
• kĩ thuật lập trình
• hướng dẫn lập trình
• kĩ năng lập trình
• AutoIT