凄く初心者質問だと思うのですが
Prolog に方程式を解かせることって出来ますか？
ごく簡単な式で良いんです。例えば

2 + X = 5

とかそんな感じです。