Prolog
Straipsnis iš Vikipedijos, laisvosios enciklopedijos.
Prolog (iš pranc. programmation en logique) - programavimo kalba skirta dirbtinio intelekto ir ekspertinių sistemų programavimui. Kalbą 1972 metais sukūrė Alanas Kolmero (Alain Colmerauer).