similaj al: deduktar

Similaj al: deduktar

Zaškrtnutím políčka () si můžete procvičit v tréninkové zóně

Distanco	Vorto	Difino
1.0	dedukta	演繹的
1.8	dedukto	演繹

Faritaj 8,608,550 inferencoj, 0.572 CPU-sekundoj en 3.832 reale pasintaj sekundoj.

Kajero
Multlingva vortaro

Per
Cainia 3.1 双向推理系统

Programita de
Sato kaj Cainiao 2019-2025 Subtenu nin per taso da kafo

Funkciigata de
SWI-Prolog