https://www.somosbinarios.es/prolog-el-lenguaje-de-programacion-logico/