Alain Calmerauer dan Philippe Roussel, dari University of Aix Marseille, dengan batuan Robert Kowalski dari University of Edinburgh adalah tiga orang yang telah menghasilkan rancangan dasar dari bahasa Prolog. Alain Calmerauer dan Philippe Roussel menekuni bidang pemrosesan bahasa alami (Natural Language Processing), sedangkan Robert Kowalski menekuni Automated Theorem Proving. Kolaborasi antara University of Aix Marseille dan University of Edinburgh berlangsung hingga pertengahan 1970. Sejak saat itu, riset terkait pengembangan dan penggunaan bahasa Prolog maju pesat secara sendiri-sendiri pada kedua lokasi. Diantara hasilnya, diperoleh dua dialects Prolog yang berbeda secara syntactic.
Upaya pengembangan Prolog dan riset tentang logic programming mendapatkan perhatian yang terbatas di luar dari Edinburgh dan Marseille hingga tahun 1981 dimana pemerintah Jepang meluncurkan projek riset besar yang dinamakan Fifth Generation Computing Systems (FGCS; Fuchi, 1981; Moto-oka, 1981). Salah satu dari tujuan utamanya adalah mengembangkan intelligent machines, dan Prolog dipilih sebagai basis dalam upaya tersebut.
Selengkapnya >>
ADVERTISEMENT
