Софтуер снимки:
заключим (Логическият извод (и) на английски език) е програма, софтуер, способен да прави логически изводи на базата на прости изречения. Например, ако сме написали в "Джон прострелян яребица", програмата ще отпечата "Джон е ловец". Ако напишете "Джон се жени Ann", програмата ще отпечата "Джон е съпруг на Ан", "Ан е съпругата на Джон". Работи само на избрани прости изречения и техните еквиваленти в смисъл
<силни> Ограничения :.
пробна 10-употреба
Коментари не е намерена