twelf - ภาษาอื่น ๆ