Markobutonoj () utilas por ekzerci vin en Ekzercejo
| invariante | invariante |
| invarianta | invarianta |
| invarianto | 不変量 |
| varianta | varianta |
| invadanto | 侵入者 |
| invadinto | invadinto |
Vi povas provi 📜Leghelpilon: similaj al: invariante
Kajero
Per Rapida Logik-Rezonada Sistemo 高速度推論システム Cainia0 高速度邏輯推理系統
De Sato kaj Cainiao
Funkciigata de SWI-Prolog
2019-03-14 ver. 1; 2023-09-01 ver. 2; 2024-11-25 ver. 3; 2025-04-25 ver. 3.1
Babilejo