Kiểm tra loại Prolog

Question

Có cách nào để xác định loại phần tử trong danh sách trong Prolog không? Tôi biết rằng các biến không được nhập một cách rõ ràng trong Prolog, nhưng tôi cần phải kiểm tra xem một phần tử là một số, một ký tự cụ thể, vv Làm thế nào điều này có thể được thực hiện?

Answer 1

Prolog định nghĩa một nhóm các vị từ built-in cho mục đích thử nghiệm loại: var/1, atom/1, integer/1, float/1, atomic/1, compound/1, nonvar/1, number/1, tất cả chúng với một ý nghĩa tự giải thích nếu bạn biết các kiểu dữ liệu của ngôn ngữ. Đối với các ký tự cụ thể, bạn có thể khai thác sự hợp nhất với ký tự đó, sau khi kiểm tra xem phần tử đó không phải là biến tự do hay không (nếu không thống nhất luôn thành công).

Answer 2

số/1

Xem thêm http://www.swi-prolog.org/pldoc/doc_for?object=section%282,%27F.1%27,swi%28%27/doc/Manual/predsummary.html%27%29%29

Answer 3

Bạn có thể thử mã này:

isList([_|_]). 
isList([]). 

Hy vọng nó giúp.

Answer 4

để kiểm tra danh sách bạn có thể thử:

listing(is_list/1, list_functor/1). 

is_list(X) :- 
    functor(X, F, _), 
    list_functor(F). 

list_functor('.'). 
list_functor('[]'). 

Answer 5

Để kiểm tra xem một biến được ràng buộc vào một danh sách, bạn có thể sử dụng is_list/1.