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.

I did some prolog a few years ago.. if you throw the info my way I can give it a quick look