SWI-Prolog 7.2.3 / 7.3.6-dev Cập nhật
Đó là mục đích lập trình logic hữu ích, trí tuệ nhân tạo và ngôn ngữ học tính toán là gì mới trong phiên bản này:. loại dict mới và cú pháp cung cấp cho cả thời gian và không gian hiệu quả giá trị tên bản đồ với một cú pháp dễ chịu. Kết quả là,...