3
![Stack Overflow](http://cdn.sstatic.net/stackoverflow/img/apple-touch-icon.png)
To start, a Prolog clause looks like that:
Head :- Body
You can read that as "Head if Body", or "Body implies Head".
Note that sometimes you just have
Head
That's because Head is always true. Instead of calling Head a clause, we rather call it a fact in this case.
So here, we have:
halve...