Arithmetic in pure Prolog Let’s re

Arithmetic in pure Prolog
 Let’s rethink arithmetic as term unification!
 I promised we’d divide 6 by 2
by making Prolog prove that x 2*x = 6.
 Query: times(2,X,6). So how do we program times?

Kết quả (Việt) 1:

Số học trong tinh khiết Prolog Hãy suy nghĩ lại số học như thống nhất thuật ngữ! tôi hứa chúng tôi sẽ chia 6 bởi 2bằng cách Prolog chứng minh rằng x 2 * x = 6. truy vấn: times(2,X,6). Vậy làm thế nào chúng tôi làm chương trình lần?