Vi povas provi Legilon: shù xué
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