YOU SAID:

To be able to pursue the identification of computation and deduction, we can narrow the class of logical theories equated with programs. In particular, we can restrict the logical language we use.

INTO JAPANESE

計算と控除の識別を追求することができるようにするために、プログラムと同等の論理理論のクラスを狭めることができます。特に、使用する論理言語を制限することができます。

BACK INTO ENGLISH

In order to be able to pursue the identification of calculations and deductions, one can narrow the class of logic theory equivalent to a program. In particular, you can restrict the logic language used.

INTO JAPANESE

計算と控除の識別を追求できるようにするには、プログラムと同等の論理理論のクラスを絞り込むことができます。特に、使用する論理言語を制限することができます。

BACK INTO ENGLISH

To be able to pursue the identification of calculations and deductions, you can narrow down the class of logic theory that is equivalent to the program. In particular, you can restrict the logic language used.

INTO JAPANESE

計算と控除の識別を追求できるようにするには、プログラムと同等の論理理論のクラスを絞り込むことができます。特に、使用する論理言語を制限することができます。

BACK INTO ENGLISH

To be able to pursue the identification of calculations and deductions, you can narrow down the class of logic theory that is equivalent to the program. In particular, you can restrict the logic language used.