 |
| |||
| язык программирования, основанный на логике предикатов; язык программирования, основанный на логике предикатов | |||
| язык основанный на логике предикатов | |||
| язык, основанный на логике предикатов (как функций нескольких переменных) | |||
| язык, основанный на логике предикатов (как функции нескольких переменных) | |||
|
predicate logic language : 3 短语, 2 学科 |
| 信息技术 | 2 |
| 编程 | 1 |