Hello, I need to write a Prolog program that has to deal with type inference and interpetation (interpret) a simple Stack-based language.
There is a starting code provided with the assignment. I need to fill in the blanks.
If you have knowledge with programming in Prolog, let me know and I'll send you details.