¿Te resulta más fácil leer con fondo crema, un tono de color, más contraste o un texto más grande? Elige tus colores y tu texto una sola vez, para todas las páginas.

Módulo gratuito

Programación lógica y funcional

Aprende programación lógica con Prolog y programación funcional con Haskell: hechos, reglas, vuelta atrás, map, filter, fold y evaluación perezosa.

6 leccionesLección de 340 minInformática esencial

Las lecciones

Cada lección se lee completa y gratis. Crea una cuenta gratuita para ejecutar sus comandos en un laboratorio y hacer sus cuestionarios y tareas.

  1. 1 · Laboratorio de contenedores

    Hechos y consultas en Prolog

    Puedo enunciar hechos y hacer a Prolog una pregunta con una variable.

    Leer la lección

  2. 2 · Laboratorio de contenedores

    Reglas y recursión en Prolog

    Puedo escribir una regla que usa otros hechos, incluida una recursiva.

    Leer la lección

  3. 3 · Laboratorio de contenedores

    Listas y vuelta atrás en Prolog

    Puedo explicar cómo busca Prolog y cómo vuelve atrás cuando una opción falla.

    Leer la lección

  4. 4 · Laboratorio de contenedores

    Funciones y tipos en Haskell

    Puedo leer una función pequeña de Haskell y su tipo.

    Leer la lección

  5. 5 · Laboratorio de contenedores

    Map, filter y fold en lugar de bucles

    Puedo sustituir un bucle por map, filter o fold.

    Leer la lección

  6. 6 · Laboratorio de contenedores

    Recursión y evaluación perezosa

    Puedo escribir una función recursiva y explicar por qué una lista infinita se puede usar.

    Leer la lección

Con un laboratorio real

Cada lección de este módulo se practica en un laboratorio que se inicia solo para ti. Los laboratorios que usa:

¿Enseñas a una clase? Asigna este módulo a tus alumnos con guía del profesor, tareas con corrección automática y un laboratorio para cada alumno.