Nombre del primer y más usado de los lenguajes de programación lógica.