 |
| |||
| язык программирования, основанный на логике предикатов; язык программирования, основанный на логике предикатов | |||
| язык основанный на логике предикатов | |||
| язык, основанный на логике предикатов (как функций нескольких переменных) | |||
| язык, основанный на логике предикатов (как функции нескольких переменных) | |||
|
predicate logic language : 3 צירופים, 2 נושאים |
| טכנולוגית מידע | 2 |
| תִכנוּת | 1 |