Vi povas provi Legilon: inkluziva NE-AŬ-funkcio
Kajero
Programita de Sato kaj Cai Niao
Funkciigita de SWI-Prolog
2019-03-14 ver. 1
2023-09-01 ver. 2
Babilejo