Vi povas provi Legilon: enumerated (data) type
Kajero
Programita de Sato kaj Cai Niao
Funkciigita de SWI-Prolog
2019-03-14 ver. 1
2023-09-01 ver. 2
Babilejo