prolog

7Nhiệt

3Trả lời

Làm thế nào tương tự như ngôn ngữ cơ sở dữ liệu quan hệ và lập trình logic?

Sự giống nhau và khác biệt về khái niệm cơ bản và triển khai giữa ngôn ngữ cơ sở dữ liệu quan hệ sql và ngôn ngữ lập trình logic như prolog và clojure là core.logic? Hai cái có thể hoán đổi cho nhau k

12Nhiệt

2Trả lời

đếm số lượng các cuộc gọi của một khoản

Tôi có một điều khoản như sau: lock_open:- conditional_combination(X), equal(X,[8,6,5,3,6,9]),!, print(X). khoản này thành công. Nhưng tôi muốn biết bao nhiêu lần conditional_combi

5Nhiệt

3Trả lời

Làm thế nào để tạo biến toàn cầu trong prolog

tôi có một danh sách mà tôi tạo ra như sau: tab([(top,left),(top,middle),(top,right),(center,left),(center,middle), (center,right),(bottom,left),(bottom,middle),(bottom,right)]). tôi muốn tạo m

8Nhiệt

2Trả lời

Prolog: Làm cách nào để kiểm tra xem một biến vị ngữ có tồn tại không?

Làm thế nào tôi có thể kiểm tra xem một vị ngữ có tồn tại trong một chương trình Prolog không? Đó sẽ là một exists/1, như: ?- exists(some_predicate). false. ?- assert(some_predicate). true. ?- e

5Nhiệt

4Trả lời

Xóa đệ quy trái trong DCG - Prolog

Tôi gặp vấn đề nhỏ với đệ quy trái trong ngữ pháp này. Tôi đang cố gắng viết nó trong Prolog, nhưng tôi không biết cách loại bỏ đệ quy trái. <expression> -> <simple_expression> <simple_expression> ->

7Nhiệt

3Trả lời

Ý nghĩa của dấu gạch chéo sau tên vị ngữ trong Prolog là gì?

Tôi đã đọc các câu hỏi SO what does slash(/) do in prolog? và What is the meaning of predicate “simple/1” in Prolog (SWI-Prolog), nhưng các liên kết này dường như không giúp tôi. Tôi đã thực hiện một

29Nhiệt

1Trả lời

Dành riêng cho việc khai báo các tọa độ giảm dần/tăng dần khi sử dụng các miền hữu hạn

Tôi muốn viết một vị từ, hậu duệ, tuyên bố rằng toạ độ đầu tiên [y, x] sẽ giảm dần theo tọa độ thứ hai (tưởng tượng bảng với [0 , 0] ở góc trên bên trái). Một thực hiện rất đơn giản trong Prolog có th

7Nhiệt

2Trả lời

Cách thêm vào cuối danh sách trong prolog

Tôi đang cố gắng thêm một mục vào cuối danh sách ở dạng prolog, nhưng nó vẫn không hoạt động. insertAtEnd(X,[ ],[X]). insertAtEnd(X,[H|T],[H|Z]) :- insertAtEnd(X,T,Z). letters([a,b,c]). Tôi khô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

5Nhiệt

5Trả lời

Tại sao vị từ của tôi trong Prolog Fib/2 luôn luôn nói "ra khỏi ngăn xếp cục bộ"?

Tôi đã viết một biến vị ngữ fib/2 để tính toán các số Fibonacci trong Prolog. Mặc dù nó hoạt động, nó luôn luôn nói "ra khỏi ngăn xếp địa phương" và lỗi trông giống như: ?- fib(10, F). F = 55 ; ERRO