Vi povas provi Legilon: topologio de simpla konverĝo
Kajero
Programita de Sato kaj Cai Niao
Funkciigita de SWI-Prolog
2019-03-14 ver. 1
2023-09-01 ver. 2
Babilejo