↑
↑
↑
↔ Order by name ↔ Order by year ↔ Order by year reverse ↔ Order by Type ↔ Order by Sammet category

Explore languages searching for category and for country United States

*Prolog    ⊕ 1989   ↓ ↑ ⊕ String and List Processing ⊕ Horn clause   ⊕ United States    
Aquarius Prolog    ⊕ 1989   ↓ ↑ ⊕ String and List Processing ⊕ Horn clause   ⊕ United States   High performance Prolog 
BAP    ⊕ 1993   ⊕ Horn clause   ⊕ United States   Brain Aid Prolog 
Concurrent Prolog    ⊕ 1983   ↓ ↑ ⊕ String and List Processing ⊕ Horn clause   ⊕ United States    
Darwin    ⊕ 1987   ⊕ Horn clause   ⊕ United States   Law-based OO prolog 
d-Prolog    ⊕ 1988   ↓ ↑ ⊕ String and List Processing ⊕ Horn clause   ⊕ United States   Defeasible Prolog 
lambda-Prolog    ⊕ 1988   ↓ ↑ ⊕ String and List Processing ⊕ Horn clause   ⊕ United States    
Multilog    ⊕ 1986   ⊕ Horn clause   ⊕ United States    
SB-Prolog    ⊕ 1973   ↓ ↑ ⊕ String and List Processing ⊕ Horn clause   ⊕ United States