Interactive Problem Solving in Prolog

TL;DR

This paper introduces an interactive Prolog problem-solving environment integrated into VILAB, providing adaptive feedback and auxiliary predicate suggestions to enhance learning robustness.

Contribution

It presents a novel environment for Prolog problem solving with adaptive feedback and auxiliary predicate checking within the VILAB platform.

Findings

Provides fast adaptive feedback during problem solving

Suggests suitable auxiliary predicates based on learner actions

Ensures robustness and seamless integration in VILAB

Abstract

This paper presents an environment for solving Prolog problems which has been implemented as a module for the virtual laboratory VILAB. During the problem solving processes the learners get fast adaptive feedback. As a result analysing the learner's actions the system suggests the use of suitable auxiliary predicates which will also be checked for proper implementation. The focus of the environment has been set on robustness and the integration in VILAB.