KAJERO

SIM

similaj al:

Celoaksiomo

체크박스 () 를 선택하면 연습 공간에서 학습에 사용할 수 있습니다

Inferencoj: 14,958,859, CPU-sekundoj: 0.878, Reale pasintaj sekundoj: 2.061.

Kajero
Multlingva vortaro

Per
Cainia 3.1 双向推理系统

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

Funkciigata de
SWI-Prolog