Prolog
The classic logic programming language: you state facts and rules, and the engine searches for answers. See how developers rate it month by month on DTDb.
- Category
- programming language
- Developer
- ISO/IEC JTC 1/SC 22/WG 17
- Created by
- Alain Colmerauer, Philippe Roussel
- First release
- 1972
- License
- Open standard
- Open source
- Yes
- Pricing
- Free
- Website
- https://www.swi-prolog.org
- Paradigms
- Logic, Declarative
- Typing
- Dynamic
- Type strength
- Strong
- Type inference
- No
- Memory management
- Garbage collected
- Runs as
- Bytecode on a virtual machine
- Main implementation
- SWI-Prolog, SICStus, Scryer Prolog
- Concurrency
- Threads and engines (SWI-Prolog)
- Null safety
- No
- Package manager
- SWI-Prolog packs
- Used for
- Data and AI
- Specification
- ISO/IEC 13211-1