Markobutonoj () utilas por ekzerci vin en Ekzercejo
| redifini | redifini |
| nedifini | nedifini |
| redividi | redividi |
| aldifini | 指定する |
| nedifina | 不定の |
| difini | 定義する |
| limdifini | limdifini |
| ratifiki | 批准する |
| radiigi | radiigi |
| radikigi | radikigi |
| rafini | 精製する |
| dediĉiĝi | dediĉiĝi |
| rektifiki | rektifiki |
| retiriĝi | 退く |
Vi povas provi 📜Leghelpilon: similaj al: redifini
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