allez hop, une petite réponse de masse
Prolog est un langage de programmation logique
dans l´idée, vous lui dites:
a => b, b => c, c => a.
il vous dit
a < => b, a < => c, b < => c
quand au langage batch, c´est suffisement facile pourque n´importe quel developpeur te réponde facilement