Beta-Prolog | ⊕ 1992 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ Japan | |
IC Prolog ][ | ⊕ 1992 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom | |
Modular Prolog | ⊕ 1992 | ↓ ↑ ⊕ String and List Processing | ⊕ Horn clause | ⊕ United Kingdom |