・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 logic

Pronunciation:

Cấu trúc từ:

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

ロ^▼ーギツ

Eksteraj fontoj

Faritaj 189,883 inferencoj, 0.096 CPU-sekundoj en 0.098 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