Logical Inference (English) 1.0

заключим (Логическият извод (и) на английски език) е програма, софтуер, способен да прави логически изводи на базата на прости изречения. Например, ако сме написали в "Джон прострелян яребица", програмата ще отпечата "Джон е ловец". Ако напишете "Джон се...