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?

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

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