prologでは、整数、論理、数列、集合、置換、循環小数、群、位相など様々な数学的対象を扱うことができる。