Artículo:
Demonstrating the Ciao Prolog Playground

Cargando...
Miniatura

Editor

Sistedes

Publicado en

Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026)

Licencia Creative Commons

Resumen

We propose a demonstration of the Ciao Prolog Playground and the Active Logic Documents (ALDs) approach as a practical toolset designed to facilitate the teaching and learning of Prolog and formal methods, both on-line and in the classroom.

Descripción

Acerca de Ciccalè, Marco

Palabras clave

Prolog Playground, Active Logic Documents, Teaching, Ciao Prolog, (Constraint) Logic Programming

Citación

Ciccalè, M., Ferreiro, D., Jurjo-Rivas, D., Morales, J. F., Lopez-Garcia, P., Hermenegildo, M. V.: Demonstrating the Ciao Prolog Playground. In: Sáenz-Pérez, F. (ed.) Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026). Sistedes (2026). https://hdl.handle.net/11705/PROLE/2026/20