prolog

5Nhiệt

1Trả lời

OK, vì vậy tôi đang cố gắng mã trình giải Sudoku đơn giản này cho một dự án trường học. Tôi đang sử dụng SWI - Prolog, và tôi đang sử dụng thư viện clpfd. Sự cố phát sinh khi tôi sử dụng vị từ miền/3

5Nhiệt

1Trả lời

Prolog findall/3: nhiều hơn một túi

Tôi đang viết AI cho một loại trò chơi Fox và Geese. Một trong các biến vị ngữ của tôi trông giống như sau: moveFox(+PrevState, -NextState, -PegList, +VisitedStates, -NewVisitedStates) Trạng thái tr

5Nhiệt

1Trả lời

Giải quyết hệ phương trình trong Prolog

Giả sử tôi có số X và tôi muốn giải hệ phương trình, nói Y + Z = X, Z * Y = 1. Bây giờ, giải pháp này có Y = 1/Z và Z = (sqrt (X * X-4) + X)/2 hoặc (X- (sqrt (X * X-4)))/2. Vì vậy, tôi có thể viết tro

14Nhiệt

2Trả lời

Làm thế nào để nối hai nguyên tử/chuỗi?

Tôi đang cố gắng để tìm hiểu làm thế nào để nối hai nguyên tử: A = 'my ', B = 'atom', Làm thế nào tôi có thể nối hai nguyên tử những cái mà kết quả là: 'my atom' ?

7Nhiệt

3Trả lời

PROLOG với các biểu thức lambda

Có bất kỳ triển khai PROLOG Java nào hỗ trợ các biểu thức lambda không? Tôi biết rằng có những triển khai Java của các ngôn ngữ khác hỗ trợ các biểu thức lambda, chẳng hạn như LISP và Clojure, nhưng t

7Nhiệt

3Trả lời

Parsing inflected ngôn ngữ không phải thứ tự từ (ví dụ Latin)

Lấy một ví dụ từ Introduction to Latin Wikiversity, hãy xem xét câu: the sailor gives the girl money Chúng tôi có thể xử lý này trong Prolog với DCG khá thanh lịch với đống này các quy tắc: sentence

5Nhiệt

4Trả lời

Làm thế nào để xóa phần tử cuối cùng khỏi danh sách trong Prolog?

Tôi đang trong tình huống sau: Tôi có một danh sách và tôi sẽ chỉ xóa nó khỏi phần tử cuối cùng. Tôi có thực hiện các nguyên tắc sau (mà không làm việc tốt): deleteLastElement([Only],WithoutLast) :-

5Nhiệt

2Trả lời

Đáp ứng một tập hợp các mục tiêu trong Prolog

Trong Prolog, tôi thường giải quyết một vấn đề bằng cách cung cấp một khuôn mẫu (một cấu trúc chứa các biến) và sau đó thỏa mãn một tập hợp các ràng buộc trên nó. Một ví dụ nhỏ có thể là: go(T) :-

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