Lógica simbólica é um conteúdo normalmente abordado em Matemática Discreta, uma disciplina básica em cursos na área de computação. Embora o domínio desse conteúdo seja fundamental na formação de profissionais desses cursos, para muitos estudantes, a lógica simbólica é apenas uma teoria sem muita aplicação prática. Em decorrência deste fato, e devido à dificuldade que os estudantes têm de lidar com conceitos abstratos, o estudo de lógica simbólica acaba sendo negligenciado. Ademais, como os conceitos de lógica simbólica são geralmente difíceis de representar e entender, o desenvolvimento de software educacional neste domínio ainda é considerado um grande desafio. Neste contexto, o objetivo deste artigo é descrever um protótipo de laboratório virtual para realização de experimentos em lógica simbólica, que foi desenvolvido em Prolog, e relatar resultados empíricos obtidos com ele.