% Leapyear
% From 
% https://github.com/michael-siebers/metagol/blob/ilp2018/examples/leapyear1.pl

% pos(leapyear(400)).
% pos(leapyear(20)).
% pos(leapyear(4)).

% neg(leapyear(2)).
% neg(leapyear(100)).
% neg(leapyear(200)).

% From ~/inductive_programming/aleph/me/leap_year.*
pos(leapyear(1200)).
pos(leapyear(1600)).
pos(leapyear(1892)).
pos(leapyear(1896)).
pos(leapyear(1904)).
pos(leapyear(1908)).
pos(leapyear(1912)).
pos(leapyear(1916)).
pos(leapyear(1920)).
pos(leapyear(1924)).
pos(leapyear(1928)).
pos(leapyear(1932)).
pos(leapyear(1936)).
pos(leapyear(1940)).
pos(leapyear(1944)).
pos(leapyear(1948)).
pos(leapyear(1952)).
pos(leapyear(1956)).
pos(leapyear(1960)).
pos(leapyear(1964)).
pos(leapyear(1968)).
pos(leapyear(1972)).
pos(leapyear(1976)).
pos(leapyear(1980)).
pos(leapyear(1984)).
pos(leapyear(1988)).
pos(leapyear(1992)).
pos(leapyear(1996)).
pos(leapyear(2000)).
pos(leapyear(2004)).
pos(leapyear(2008)).
pos(leapyear(2012)).
pos(leapyear(2016)).
pos(leapyear(2020)).
pos(leapyear(2024)).
pos(leapyear(2028)).



%% neg
neg(leapyear(1300)).
neg(leapyear(1400)).
neg(leapyear(1500)).
neg(leapyear(1700)).
neg(leapyear(1800)).
neg(leapyear(1890)).
neg(leapyear(1891)).
neg(leapyear(1893)).
neg(leapyear(1894)).
neg(leapyear(1895)).
neg(leapyear(1897)).
neg(leapyear(1898)).
neg(leapyear(1899)).
neg(leapyear(1900)).
neg(leapyear(1901)).
neg(leapyear(1902)).
neg(leapyear(1903)).
neg(leapyear(1905)).
neg(leapyear(1906)).
neg(leapyear(1907)).
neg(leapyear(1909)).
neg(leapyear(1910)).
neg(leapyear(1911)).
neg(leapyear(1913)).
neg(leapyear(1914)).
neg(leapyear(1915)).
neg(leapyear(1917)).
neg(leapyear(1918)).
neg(leapyear(1919)).
neg(leapyear(1921)).
neg(leapyear(1922)).
neg(leapyear(1923)).
neg(leapyear(1925)).
neg(leapyear(1926)).
neg(leapyear(1927)).
neg(leapyear(1929)).
neg(leapyear(1930)).
neg(leapyear(1931)).
neg(leapyear(1933)).
neg(leapyear(1934)).
neg(leapyear(1935)).
neg(leapyear(1937)).
neg(leapyear(1938)).
neg(leapyear(1939)).
neg(leapyear(1941)).
neg(leapyear(1942)).
neg(leapyear(1943)).
neg(leapyear(1945)).
neg(leapyear(1946)).
neg(leapyear(1947)).
neg(leapyear(1949)).
neg(leapyear(1950)).
neg(leapyear(1951)).
neg(leapyear(1953)).
neg(leapyear(1954)).
neg(leapyear(1955)).
neg(leapyear(1957)).
neg(leapyear(1958)).
neg(leapyear(1959)).
neg(leapyear(1961)).
neg(leapyear(1962)).
neg(leapyear(1963)).
neg(leapyear(1965)).
neg(leapyear(1966)).
neg(leapyear(1967)).
neg(leapyear(1969)).
neg(leapyear(1970)).
neg(leapyear(1971)).
neg(leapyear(1973)).
neg(leapyear(1974)).
neg(leapyear(1975)).
neg(leapyear(1977)).
neg(leapyear(1978)).
neg(leapyear(1979)).
neg(leapyear(1981)).
neg(leapyear(1982)).
neg(leapyear(1983)).
neg(leapyear(1985)).
neg(leapyear(1986)).
neg(leapyear(1987)).
neg(leapyear(1989)).
neg(leapyear(1990)).
neg(leapyear(1991)).
neg(leapyear(1993)).
neg(leapyear(1994)).
neg(leapyear(1995)).
neg(leapyear(1997)).
neg(leapyear(1998)).
neg(leapyear(1999)).
neg(leapyear(2001)).
neg(leapyear(2002)).
neg(leapyear(2003)).
neg(leapyear(2005)).
neg(leapyear(2006)).
neg(leapyear(2007)).
neg(leapyear(2009)).
neg(leapyear(2010)).
neg(leapyear(2011)).
neg(leapyear(2013)).
neg(leapyear(2014)).
neg(leapyear(2015)).
neg(leapyear(2017)).
neg(leapyear(2018)).
neg(leapyear(2019)).
neg(leapyear(2021)).
neg(leapyear(2022)).
neg(leapyear(2023)).
neg(leapyear(2025)).
neg(leapyear(2026)).
neg(leapyear(2027)).
neg(leapyear(2029)).
neg(leapyear(2030)).