Definite Clauses
method
ID: definiteclauses
Entity Details
Basic Information
Entity ID
definiteclauses
Entity Type
Method
English Label
Definite Clauses
Russian Label
Определённые клаузулы
Kazakh Label
Дәлелді клаузалар
Frequency
1
Description
English Description
A specific form of Horn clause used in logic programming.
Russian Description
-
Kazakh Description
-