logic - que - Semántica de Kripke: ¿hay software de aprendizaje disponible?

python - unificacion - resolucion sld programacion logica - edu.lat