iso-prolog

9Nhiệt

3Trả lời

[a | b | c] đánh giá trong SWI-Prolog là gì?

Toán tử đường ống trong prolog trả về một hoặc nhiều Thủ trưởng nguyên tử và danh sách Đuôi. ?- [a,b,c] = [a,b|[c]]. true. lồng nhau nhiều ống trong một trận đấu duy nhất có thể được thực hiện tươn

5Nhiệt

2Trả lời

Tại sao SWI-Prolog hợp nhất một chuỗi trích dẫn và không được trích dẫn (không có dấu cách) cho cùng một quy tắc?

Giả sử tôi có các quy tắc sau: unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(Y). Và sau đó tôi chạy nó n

18Nhiệt

1Trả lời

Hệ thống Prolog trong Javascript

Javascript dường như trở nên phổ biến như một ngôn ngữ triển khai cho các ngôn ngữ lập trình khác. Bài viết Lightweight compilation of (C)LP to JavaScript. ICLP 2012 đã thu hút sự chú ý của tôi về điề

18Nhiệt

2Trả lời

Prolog: khoản không cùng nhau trong nguồn tập tin

Tôi có đoạn mã này: % Family tree female(pen). male(tom). male(bob). female(liz). female(pat). female(ann). male(jim). parent(pam, bob). parent(tom, bob). parent(tom, liz). parent(bob, ann

7Nhiệt

1Trả lời

Các thuật ngữ Hilog trong (XSB) Prolog

Các thuật ngữ Hilog (tức là các hợp chất có thuật ngữ tùy ý functors) vẫn được coi là một tính năng mạnh mẽ trong XSB Prolog (hay bất kỳ Prolog nào khác)? Có nhiều dự án XSB hiện đang sử dụng tính năn

10Nhiệt

2Trả lời

Mô tả ngôn ngữ Prolog có thể tìm kiếm trực tuyến

Có mô tả ngôn ngữ Prolog (cú pháp và ngữ nghĩa) có sẵn trực tuyến không? Có rất nhiều sách hướng dẫn tham khảo để triển khai. Nhưng không ai trong số đó là mô tả ngôn ngữ. Ví dụ: hướng dẫn sử dụng SWI