Я должен написать программу, которая использует логическое разрешение предложения может решить
если формула высказывания является логическим правилом или нет . Программа принимает в качестве входных данных некоторые предпосылки и один вывод. Программа должна решить, может ли вывод быть получен (выведен) из помещения или нет, и должен отображать
промежуточные шаги разрешающей проверки.
Каков хороший способ (язык программирования, техника) сделать это?
Я уже пытался написать это в C ++ , но это кажется более сложным
чем я ожидал. Я также попытался выяснить это в пролог , но я действительно не знаю, как отобразить промежуточные шаги.