KAJERO

ANA

Analizo de:

Celosenkreditiga

withoutsencreditkreditcauseiga
ifsencreditkreditcauseiga
withoutsento accountkredistalktiga
withoutsento accountkredpass. pastitcauseiga
withoutsento composekredeitydistalktiga
ifsento composekredeitydistalktiga
ifsento accountkredistalktiga
ifsento accountkredpass. pastitcauseiga

Inferences: 1,564,897, CPU seconds: 0.123, Elapsed seconds: 0.131.

Kajero
Multlingva vortaro

Per
Cainia 3.1 双向推理系统

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

Funkciigata de
SWI-Prolog