DR-Prolog

From MaRDI portal
Software:42124