Vi povas provi Legilon: aksiomo de indukto
Kajero
Programita de Sato kaj Cai Niao
Funkciigita de SWI-Prolog
2019-03-14 ver. 1
2023-09-01 ver. 2
Babilejo