Término aceptado

[es] Programación lógica