我正在尝试编写一个谓词duration/2，其中 - 作为第一个参数的领导者 - 成功
随着办公室领导人的年数。为了简化，我希望它计算初始/最终
完整的一年，例如意味着将1834年算作四年的全年
人。如果领导者在办公室有多个任期，duration/2应该计算总和
他们所有工作的长度。
这是我迄今为止所做的知识库：
leader('Chamberlain',1937,1940).
leader('Churchill',1940,1945).
leader('Attlee',1945,1951).
leader('Churchill',1951,1955).
leader('Eden',1955,1957).
leader('Macmillan',1957,1963).
leader('DouglasHome',1963,1964).