Write a Prolog rule manhattan$/3$ where the first two arguments are pairs representing points on the Cartesian coordinate system. Your rule should succeed when the third argument is the Manhattan distance between the two points. For example:

$?-$ manhattan$([-1|4],[1|8],6).$

true.

$?-$ manhattan$([-4|-3],[6|3],$X$).$

X $=16.$