Learning how to program in early age helps children to develop some capabilities as logical thinking, problem solving, and creativity. Incorporating robotics in programming children can help to learn in a concrete and funny ...

Learning how to program in early age helps children to develop some capabilities as logical thinking, problem solving, and creativity. Incorporating robotics in programming children can help to learn in a concrete and funny ...

We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...

We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...

We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from ...

SARL is a general-purpose agent-oriented programming language. This language aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy ...