Design and implementation of a logical framework for course configuration in e-learning

A logical framework for the definition of courses tailored over the individual needs of different learners is presented. This framework describes how to specify, by means of propositional logic, knowledge relations among the di dactic components that are present in a didactic pool, so that the outcoming course will meet the needs of each indi vidual student. Moreover, the framework describes how to specify the target knowledge taught by the course and also the starting knowledge that the student possesses at the be ginning. It describes also how to use the specifications to choose the set of components needed and how these com ponents have to be sequenced in the produced course. An initial implementation in Prolog of the framework is currently under construction. Samples of its use are given.