prolog-assert

6Nhiệt

2Trả lời

SWI-Prolog - Không phù hợp với Khẳng định

tôi xác định một nhà điều hành như sau: :- op(500, xfx, =>). Khi tôi cố gắng một cái gì đó như: assert(a => b). Prolog đặt ra một lỗi mà nói: 'Không có quyền sửa đổi static_procedure (=>)/2 '. Bất

5Nhiệt

3Trả lời

Sự khác nhau giữa abolish/1 và retractall/1 là gì?

Từ đọc hướng dẫn, tôi không thể tìm thấy sự khác biệt giữa hai. Sổ tay nói: Nó được khuyên nên sử dụng retractall/1 cho xóa tất cả các điều khoản của một vị năng động. Vì vậy, tôi đã chọn sử dụng retr

5Nhiệt

2Trả lời

vị Định nghĩa trong SICStus Prolog/SWI-Prolog REPL

Tôi đọc http://cs.union.edu/~striegnk/learn-prolog-now/html/node3.html#subsec.l1.kb1, nhưng tôi đang gặp khó khăn khi chạy các vị sau đây: SICStus 4.0.1 (x86-win32-nt-4): Tue May 15 21:17:49 WEST 2007

23Nhiệt

1Trả lời

Prolog - ASSERT và RETRACT

Tôi đã tự hỏi, tôi biết bạn có thể sử dụng assert để thêm sự kiện hoặc quy tắc hoặc bất cứ điều gì nếu bạn đã tuyên bố vị ngữ là -:dynamic, nhưng điều này chỉ cho phép thay đổi được thực hiện để được

7Nhiệt

1Trả lời

Tôi có thể sử dụng các biến với khẳng định/1 không?

Điều tôi hiện đang kiểm tra X (Y) không phải là sự kiện được chấp nhận trong DB nhỏ của tôi. Vì X (Y) trả về false, nó sẽ cố gắng xác nhận nó. (Tôi nhận ra điều này trình bày các vấn đề khi X là một q

6Nhiệt

1Trả lời

Tôi muốn tạo các sự kiện động trong prolog

Tôi đã viết mã đơn giản sau đây, và tôi mong rằng khi tôi viết 'nam', mã này hỏi tôi một lần "là nam không?" và nếu tôi nhập 'Không' nó viết trên màn hình "cô ấy là nữ". male :- (print('is it male ? '