Я работал над проектом об известной проблеме fox-goose-beans-farmer.Я пытаюсь реализовать это на...

У меня есть язык, который описывает домен с помощью предикатов произвольной арности.Например, в...

Я создаю программу упрощения логики в sml. Но у меня есть проблема для этого ввода: -...