- Từ điển Việt - Anh
Ngôn ngữ Prolog
|
Kỹ thuật chung
Nghĩa chuyên ngành
PROgraming in LOGic
Giải thích VN: Một ngôn ngữ lập trình bậc cao được dùng trong các nghiên cứu và ứng dụng trí tuệ nhân tạo, và một phần trong các hệ chuyên gia. Prolog, viết tắt của PROgramming in LOGic, do nhà bác học máy tính Alain Colmerauer và nhà logic học Philippe Roussel cùng là người Pháp, xây dựng nên từ những năm đầu 1970. Giống như LIPS, PROLOG là loại ngôn ngữ khai báo; thay vì báo cho máy tính biết phải theo thủ tục nào để giải quyết bài toán, thì ở đây lập trình viên mô tả bài toán sẽ được giải quyết.
Programming in Logic
Giải thích VN: Một ngôn ngữ lập trình bậc cao được dùng trong các nghiên cứu và ứng dụng trí tuệ nhân tạo, và một phần trong các hệ chuyên gia. Prolog, viết tắt của PROgramming in LOGic, do nhà bác học máy tính Alain Colmerauer và nhà logic học Philippe Roussel cùng là người Pháp, xây dựng nên từ những năm đầu 1970. Giống như LIPS, PROLOG là loại ngôn ngữ khai báo; thay vì báo cho máy tính biết phải theo thủ tục nào để giải quyết bài toán, thì ở đây lập trình viên mô tả bài toán sẽ được giải quyết.
PROLOG
Giải thích VN: Một ngôn ngữ lập trình bậc cao được dùng trong các nghiên cứu và ứng dụng trí tuệ nhân tạo, và một phần trong các hệ chuyên gia. Prolog, viết tắt của PROgramming in LOGic, do nhà bác học máy tính Alain Colmerauer và nhà logic học Philippe Roussel cùng là người Pháp, xây dựng nên từ những năm đầu 1970. Giống như LIPS, PROLOG là loại ngôn ngữ khai báo; thay vì báo cho máy tính biết phải theo thủ tục nào để giải quyết bài toán, thì ở đây lập trình viên mô tả bài toán sẽ được giải quyết.
prologue
Giải thích VN: Một ngôn ngữ lập trình bậc cao được dùng trong các nghiên cứu và ứng dụng trí tuệ nhân tạo, và một phần trong các hệ chuyên gia. Prolog, viết tắt của PROgramming in LOGic, do nhà bác học máy tính Alain Colmerauer và nhà logic học Philippe Roussel cùng là người Pháp, xây dựng nên từ những năm đầu 1970. Giống như LIPS, PROLOG là loại ngôn ngữ khai báo; thay vì báo cho máy tính biết phải theo thủ tục nào để giải quyết bài toán, thì ở đây lập trình viên mô tả bài toán sẽ được giải quyết.
Xem thêm các từ khác
-
Ngôn ngữ quốc gia
national language, hỗ trợ ngôn ngữ quốc gia, national language support (nls), sự hỗ trợ ngôn ngữ quốc gia, nls (nationallanguage support) -
Ngôn ngữ ra
output language, target language -
Ngôn ngữ ráp
assembly language -
Nhuộm vĩnh cửu
dyecrete process, giải thích vn : quá trình nhuộm mà mầu nhuộm được giữ lại vĩnh [[viễn.]]giải thích en : a process in which... -
Nhuộm xanh (thép)
blue -
Nhụt
blunt., get damped, get dampened, weaken., disedged, blunt, dao nhụt, a blunt knife., không bao giờ để cho tinh thần hăng hái nhụt đi, never... -
Ni
(địa phương) this., now., buddhist nun., ni (nickel), felt, anh ni, this man., Đến ni mà nhà vẫn chưa xong, up to now, the house has not been... -
Nỉ cactông
board felt -
Sv
sievert (sv), giải thích vn : Đơn vị liều lượng bức xạ . -
Syrô
syrupy -
Tay gạt mở máy
cranking lever, operating lever, shifting lever -
Tay gạt ngắt
desconnecting lever, disengaging lever, release lever -
Ngôn ngữ REDUCE
reduce -
Ngôn ngữ riêng
native language -
Ngôn ngữ số
number lamp, number language -
Ngôn ngữ thao tác dữ liệu
data manipulation language (dml) -
Nỉ kim
needle felt -
Nỉ làm khô
drying felt -
Nỉ mỏng
flannel -
NiCd ca
nickel-cadmium
Bạn vui lòng đăng nhập để đăng câu hỏi
Mời bạn nhập câu hỏi ở đây (đừng quên cho thêm ngữ cảnh và nguồn bạn nhé)Bạn đang cần hỏi gì? Đăng nhập để hỏi đáp ngay bạn nhé.
-
-
0 · 16/07/24 10:50:05
-
-
09/07/24 04:39:07Tìm Người Yêu: Những Câu Chuyện Thành CôngTìm Người Yêu: Những Câu Chuyện Thành Công” là một chủ đề thú vị và đầy cảm hứng, đặc biệt trong bối cảnh hiện đại khi công nghệ và mạng xã hội ngày càng phát triển. Những câu chuyện thành công về hành trình tìm kiếm người yêu thường mang đến hy vọng và niềm tin cho những ai vẫn đang trên con đường tìm kiếm nửa kia của mình. Có người gặp được tình yêu đích thực qua một ứng dụng hẹn hò trực tuyến, người khác lại tìm thấy người bạn đời của mình trong một... Xem thêm. -
22/05/24 02:10:33Mọi người cho mình hỏi: typology of people trong đoạn này là gì thế nhỉ: The establishment of a typology of people, property and economic activities affected by the project, the pre-assessment of relocation schemes, compensation budgets for losses, and the establishment of suitable proposals for the restoration of the economic activities of affected persons;Cảm ơn cả nhà rất nhiều!bolttuthan đã thích điều này-
0 · 03/06/24 01:20:04
-
-
01/02/24 09:10:20Rừng ít người vô nhỉ, nhưng trong bài viết của em thống kê thì lượng view đọc bài lúc nào R cũng đứng đầu á, thậm chí còn kéo dài liên tục, đều đặn ^^ Lạ nhỉHuy Quang, Bear Yoopies và 2 người khác đã thích điều nàyXem thêm 3 bình luận-
1 · 24/04/24 08:11:15 -
0 · 26/05/24 10:27:33
-
-
26/12/23 03:32:46Đọc chơi bài viết mới của em cho chuyến đi thiện nguyện với Nhóm CNYT giữa tháng 12/2023 này. Mới phần 1, em sẽ viết tiếp phần 2 ạ (to be continued) https://discover.hubpages.com/travel/book-trips-lai-chau-vietnam-chu-nhat-yeu-thuong-part-1Xem thêm 2 bình luận
-
0 · 06/01/24 03:08:21-
· 01/02/24 09:08:23
-
-
0 · 08/01/24 08:49:31-
· 01/02/24 09:07:22
-
-
-
26/01/24 01:32:27Hi mọi người, em vừa viết xong phần 2 chuyến hành trình thiện nguyện đem sách và yêu thương đến các điểm trường bản xa, chuyến này là ở Lai Châu (Việt Nam). Mọi người đọc chơi nhé:Phần 2: https://discover.hubpages.com/travel/book-trips-lai-chau-vietnam-chu-nhat-yeu-thuong-part-2Phần 1: Hi mọi người, em vừa viết xong phần 2 chuyến hành trình thiện nguyện đem sách và yêu thương đến các điểm trường bản xa, chuyến này là ở Lai Châu (Việt Nam). Mọi người đọc chơi nhé:Phần 2: https://discover.hubpages.com/travel/book-trips-lai-chau-vietnam-chu-nhat-yeu-thuong-part-2Phần 1: https://discover.hubpages.com/travel/book-trips-lai-chau-vietnam-chu-nhat-yeu-thuong-part-1 Xem thêm.
