Implementação de um interpretador Prolog com extensão para lógica modal

TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Ciências da Computação.O trabalho será composto por duas partes: 1. implementar um interpretador prolog ( como já conhecido hoje ), permitindo futuras extensões; 2. implementar uma extensão para trabalhar com lógicas modai