Prolog adalah singkatan dari Programming in Logic, dikembangkan oleh alain Colmenraurer dan P.Roussel di Universitas Marseilles Prancis pada tahun 1972, karena pada masa tahun 70-an Prolog sedang populer di Eropa untuk aplikasi AI (Artificial Intelligence/Kecerdasan Buatan). Sedangkan di US sendiri malah menggunakan LISP sebagai bahasa pemrograman AI, hanya saja LISP lebih rumit digunakan ketimbang Prolog meskipun banyak kelebihan LISP ketimbang Prolog.

Tidak ada suatu ketentuan khusus tentang bagaimana seharusnya struktur sistem sebuah komputer. Setiap ahli dan desainer arsitektur komputer memiliki pandangannya masing-masing. Akan tetapi, untuk mempermudah kita memahami komponen dan fungsi masing-masing komponen hardware komputer, kita perlu memiliki pengetahuan umum tentang struktur sistem komputer.