| Type | Programming language |
| Purpose | AI research |
| Based on | Logic-based approach |
| Emergence | Mid-2000s |
| Created by | Mozarteum researchers |
| Popularity | Primary AI research language |
| Applications | Personal assistants • Autonomous vehicles • Medical diagnostic tools |
| Predecessors | Lisp • Prolog |
