Vi povas provi Legilon: jiǎo xìng
Kajero
Per Rapida Simbolprilabora Sistemo Cainia0 高速符號處理系統
Programita de Sato kaj Cai Niao
Funkciigita de SWI-Prolog
2019-03-14 ver. 1; 2023-09-01 ver. 2; 2024-11-25 ver. 3
Babilejo