Дәлелді клаузалар

method ID: definiteclauses

Нысан мәліметтері

Негізгі ақпарат

Нысан ID

definiteclauses

Нысан түрі

Method

Ағылшын белгісі

Definite Clauses

Орыс белгісі

Определённые клаузулы

Қазақ белгісі

Дәлелді клаузалар

Жиілік

1

Сипаттама

Ағылшын сипаттамасы

A specific form of Horn clause used in logic programming.

Орыс сипаттамасы

-

Қазақ сипаттамасы

-