・Kajero giúp hiểu sâu hơn nhờ nhiều ngôn ngữ, chủ yếu hiển thị ví dụ dịch, ví dụ dùng và các từ liên quan thay vì định nghĩa.

en logical

Cấu trúc từ:

Cách phát âm bằng kana:

ロ^▼ギーツァル^▼

Eksteraj fontoj

Faritaj 252,375 inferencoj, 0.130 CPU-sekundoj en 0.132 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