可以通过CLP（FD）解决truncate（7 ^ sqrt（8）-8 ^ sqrt（7））吗？

Question

CLP（FD）是一个不错的序言tool。它将大量Prolog扩展到约束和标签。但是它用途广泛吗？例如，我们可以找出这个整数值吗：

 truncate(7^sqrt(8)-8^sqrt(7)) = ?

Prolog CLP（FD）解决方案会是什么样？还是有其他推荐的方法来确定答案，例如CLP（？）或其他？

CLP（FD）是一个很棒的Prolog工具。它将大量Prolog扩展到约束和标签。但是它用途广泛吗？例如，我们可以找出这个整数值吗：truncate（7 ^ sqrt（8）-8 ^ sqrt（7））=？...

Answer 1

使用浮点运算，我们可能不确定100％的截断结果。通过浮点数，我们得到一个近似值x〜，它可能与真实的x：