Prolog IV | ⊕ 1996 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ International | Prolog II with extra constraints etc |
Visual Prolog | ⊕ 1996 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Denmark | |
W-Prolog | ⊕ 1996 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Australia | Simple Prolog dialect in Java |