Visual Prolog là một phần mềm sử dụng ngôn ngữ lập trình Prolog, được ứng dụng trong lập trình trí tuệ nhân tạo hoặc ngôn ngữ học của khoa học máy tính.
Docker Toolbox giúp người dùng tạo ra và khởi chạy các bộ cài đặt ứng dụng đa nền tảng được phân phối với sự trợ giúp của nhiều thành phần và giao diện thân thiện với người dùng.