clpfd

5Nhiệt

3Trả lời

Thuật toán nào cho chương trình lập lịch biểu

Tôi gặp vấn đề về lập kế hoạch nhiệm vụ. Mỗi tác vụ có thời gian bắt đầu đề xuất T (cần bắt đầu tại [T-10, T + 10]), mất L phút để hoàn thành và sử dụng một số tài nguyên [R1, R2, ...]. Khi một tài ng

7Nhiệt

3Trả lời

Prolog: Học theo ví dụ

Tôi đang cố gắng tìm hiểu một chút về swi-prolog (ngoài các chương trình cơ bản, vô dụng). Bất cứ ai có thể giải thích (có lẽ trong mã giả) trình giải sudoku này và các chức năng liên quan đang làm gì

5Nhiệt

2Trả lời

SWI-Prolog và các ràng buộc, thư viện CLP (FD)

Tôi đang phát xung quanh với các ràng buộc trong (swi) prolog sử dụng thư viện clpfd. Tôi đang cố gắng xác định khi nào một tập hợp các ràng buộc đóng gói hoặc thuê gói khác, ví dụ: X < 4 đóng gói X <

11Nhiệt

2Trả lời

Đặt switchStyle - không tìm thấy tài nguyên lỗi - tại sao?

Tôi chạy vào một vấn đề lạ: tôi đang tạo ra một phong cách cho một ứng dụng và tôi thiết lập: <item name="android:spinnerStyle">@style/CustomSpinnerAppearance</item> <item name="android:textViewStyle

11Nhiệt

1Trả lời

Tạo kiểu mặc định với các thuộc tính tùy chỉnh

Vì vậy, đây là vấn đề của tôi: Tôi đã tạo thành phần tùy chỉnh mở rộng Button Nút này có một thuộc tính được gọi là testAttr. <declare-styleable name="TestButton" parent="@android:style/Widget.Button"

9Nhiệt

4Trả lời

biến đổi "nhị phân thành số" vị ngữ

Cách tốt nhất để chuyển đổi bit nhị phân (có thể là danh sách 0/1, ví dụ) thành số theo cách ngược lại. Tôi đã viết một vị ngữ bản địa trong swi, nhưng có giải pháp tốt hơn? Trân trọng

20Nhiệt

2Trả lời

Làm thế nào để sử dụng thư viện trong repo maven cho dự án clojure?

Tôi sử dụng Leiningen để quản lý dự án CLJ của mình. Khi tôi muốn bọc một thư viện Java, tôi thấy rằng trước tiên tôi phải giới thiệu nó cho dự án của mình. Tôi làm cách nào để sử dụng thư viện trong

6Nhiệt

3Trả lời

PROLOG tất cả khác nhau

Tôi có một vấn đề rất lạ với PROLOG. Tôi đã sử dụng nó trước đây, nhưng nó đã được một thời gian và tôi đang gỉ. Tôi có một danh sách các biến và tôi cần đảm bảo rằng không có biến nào giống nhau. Tôi

5Nhiệt

1Trả lời

Prolog fd_domain chưa được xác định

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

6Nhiệt

3Trả lời

Chuyển đổi số Peano s (N) để nguyên trong Prolog

Tôi đã xem qua đánh giá này số tự nhiên của số logic trong một hướng dẫn và nó được đem lại cho tôi một số nhức đầu: natural_number(0). natural_number(s(N)) :- natural_number(N). Nguyên tắc khoảng