Can λProlog describe beliefs?

Question

I\'d like to state the following in λProlog:

• Socrates and Plato are men
• Socrates is smart
• If someone is smart then what he believes is true