Pembahasan yang dilakukan adalah mengidentifikasi dan menganalisa pola kata benda, frasa kata benda dan kata kerja yang membentuk kalimat sederhana dalam Bahasa Inggris. Berdasarkan pola-pola tertentu tersebut, akan diterjemahkan ke dalam Bahasa Indonesia sesuai dengan pola kata benda, frasa kata benda dan kata kerja yang berlaku, baik secara praktis maupun baku. Proses penerjemahan yang dilakukan dengan menggunakan konsep kalkulus predikat, yang selanjutnya disusun algoritma berdasarkan logika atau aturan penerjemahan yang baku maupun praktis. Penyajian algoritma yang dilakukan menggunakan Backus Naur Form (BNF), yang relatif sesuai dengan sintaks dari bahasa pemrograman logic (Turbo Prolog versi 2.0). Bahasa tersebut nantinya sebagai salah satu sarana untuk mengimplementasikan algoritma yang dihasilkan dalam riset kali ini. Kata Kunci : Kalkulus predikat, algoritma, kalimat sederhana.