Tentang Pemrograman Prolog

Prolog adalah bahasa pemrograman logika atau di sebut juga sebagai bahasa non-procedural. Namanya diambil dari bahasa Perancis programmation en logique (pemrograman logika). Bahasa ini diciptakan oleh Alain Colmerauer dan Robert Kowalski sekitar tahun 1972 dalam upaya untuk menciptakan suatu bahasa pemrograman yang memungkinkan pernyataan logika alih-alih rangkaian perintah untuk dijalankan komputer.
Terdapat tiga jenis Prolog, yaitu:

1. Visual Prolog.
Berorientasi objek ekstensi diketik-kuat dari Prolog. Sebagai turbo prolog itu dipasarkan oleh Borland, tetapi sekarang dikembangkan dan dipasarkan oleh perusahaan Denmark Pusat Pengembangan Prolog (PDC) yang awalnya dikembangkan itu. Visual Prolog dapat membangun Microsoft Windows GUI-aplikasi, aplikasi konsol, DLL (dynamic link libraries).
2. Strawberry Prolog.
Strawberry Prolog adalah dialek dari bahasa pemrograman Prolog. Sintaksnya sangat dekat dengan ISO-Prolog tapi itu memiliki banyak ekstensi yang bukan bagian dari standar. Gagasan utama dari Strawberry Prolog adalah sangat mudah digunakan dan itulah mengapa beberapa universitas menggunakannya untuk prolog kursus mereka. 
3. Swing Prolog.
Swing Prolog merupakan open source implementasi bahasa pe mrograman Prolog, biasanya digunakan untuk pengajaran dan semantic web aplikasi. Ini memiliki seperangkat kaya fitur, perpustakaan untuk logika pemrograman kendala, multithreading, Unit testing, GUI, dll. SWI Prolog berjalan pada UNIX, Windows, dan Machintosh.

Struktur program prolog secara lengkap terdiri atas :

	COMPILER DIRECTIVES
	CONSTANTS
	DOMAINS
	DATA BASE
		PREDICATES
		GOAL
	CLAUSES