| Paradigms | functional programming, imperative programming, object-oriented programming, logic programming |
|---|---|
| Typing discipline | strong typing, static typing, inference typing |
| Type | programming language |
| Latest version | 11 Build 1112 |
| Website | visual-prolog.com |
| Operating systems | Microsoft Windows |
Sources: Wikidata (CC0) · Wikidata Q627600