פינית ⇄ איטלקית אנגלית גרמנית דנית הולנדית יוונית ספרדית צרפתית שוודית +

Herbrandin algoritmi
.טכנול	Herbrand's algorithm