如何使用Prolog中的复杂数字？

Question

我有一个编写prolog代码的赋值，用于对复数进行加，乘，减和除。但是，我不确定如何在prolog中描绘想象中的数字！

kompl_mul(komplex(A1,B1),komplex(A2,B2),komplex(A,B)) :-
   A is A1*A2 - B1*B2,
   B is A1*B2 - A2*B1.

这是我开始使用乘法规则的方法，但是如何实现+ b i？我怎样才能证明B是b i？

非常感谢你的帮助！