arithmetik.pl 22 B

12
  1. ?- X is 5-2*5.
  2. X = -5.