Testing artificial intelligence knowledge with interactive web system

This paper describes a software system for testing students' knowledge using modern web technologies. The goal was to create an application that would help the students to interactively learn the subject Intelligent Systems. As an example, for this learning system the field of formal logic was chosen, but it is possible to implement tests for other fields and subjects. System users are students and teachers. It is possible to enter multiple choice questions, form tests, and answer questions. The system is implemented using Clojure technology with supporting libraries.