Prolog PNG and SVG logo
Prolog is a logic programming language used in artificial intelligence and computational linguistics, based on formal logic and rule-based inference.
Explore More Logos
MS DOS
MS-DOS (Microsoft Disk Operating System) is a command-line operating system widely used in the 1980s and early 1990s before Windows.
Tauri
Tauri is a lightweight framework for building secure, cross-platform desktop applications using web technologies like HTML, CSS, and JavaScript with a Rust-based backend.
Consul
Consul is a service networking solution from HashiCorp that provides service discovery, configuration, and segmentation for distributed systems.
OpenAL
OpenAL (Open Audio Library) is a cross-platform audio API designed for efficient rendering of multichannel 3D positional audio, often used in games and simulations.
Git
Git is a distributed version control system for tracking changes in source code during software development.
Cairo
Cairo is a 2D graphics library that provides high-quality vector graphics rendering for multiple output devices, often used in desktop and embedded systems.
Phoenix
Phoenix is a web development framework written in Elixir, designed for building scalable and maintainable applications with real-time capabilities.
React Bootstrap
React-Bootstrap is a UI framework that integrates Bootstrap components into React applications using native React components without jQuery dependencies.
K3S
K3S is a lightweight, certified Kubernetes distribution optimized for resource-constrained environments like edge computing and development.
NetworkX
NetworkX is a Python library for creating, analyzing, and visualizing complex networks and graphs, widely used in data science and network analysis.
Clion
CLion is a powerful, cross-platform C and C++ IDE developed by JetBrains, offering intelligent coding assistance, refactoring, and debugging tools.
Composer
Composer is a dependency management tool for PHP that allows developers to manage project libraries and packages with ease.
MobX
MobX is a state management library for JavaScript applications, especially popular with React, enabling automatic tracking and efficient updates to observable data.
Meteor
Meteor is a full-stack JavaScript framework that simplifies building real-time web and mobile apps with integrated backend, frontend, and database solutions.
Gimp
GIMP is a free and open-source raster graphics editor used for tasks such as photo retouching, image editing, and image composition.
Flask
Flask is a lightweight WSGI web application framework in Python, designed with simplicity and flexibility in mind.
FSharp
F# is a functional-first programming language on the .NET platform, ideal for tasks involving complex data transformations.
Ecto
Ecto is a domain-specific language for writing queries and interacting with databases in Elixir.
JSON
JSON (JavaScript Object Notation) is a lightweight data-interchange format that is easy to read and write for humans and machines.
TowerGit
Tower is a powerful Git client for Windows and macOS that provides a visual interface for managing repositories, commits, branches, and merges with ease.
Eleventy
Eleventy is a simpler static site generator written in JavaScript that works with multiple template languages.
Tensorflow
TensorFlow is an open-source machine learning library developed by Google, widely used for building and training deep learning models across various platforms.
Apache Spark
Apache Spark is a fast, open-source unified analytics engine for big data processing, with support for SQL, machine learning, and streaming.
Bash
Bash is a widely used Unix shell and scripting language, essential for automating tasks and managing systems in Linux and macOS environments.