Artificial intelligence and logic programming; transliterations and keyboard layouts.