Sudah sejak lama, komputer tidak lagi berfungsi sebagai alat hitung saja. Perkembangan teknologi kecerdasan-buatan memungkinkan komputer mampu melakukan pekerjaan seperti manusia. Salah satunya adalah aplikasi penyelesaian permasalahan logis yang dapat dibuat menggunakan bahasa-bahasa pemrograman berbasis Artificial Intelligence, misalnya : LISP, EXSYS, PROLOG/Visual PROLOG.
Teknik yang digunakan oleh sistem yang berbasis kecerdasan buatan adalah teknik pencarian dan pencocokkan data. Namun bahasa pemrograman ini masih memiliki kekurangan dalam hal integrasi dengan teknologi yang lain, misalnya Web-based Application.
Untuk menjawab tantangan tersebut, pada tugas akhir ini dibangun sistem penyelesaian masalah logis berbasis web menggunakan pemrograman database dengan bahasa SQL (Structured Query Language) untuk proses pencarian dan pencocokkan data. Sistem ini telah diuji dan mampu menyelesaikan kasus logis yang umum ditemui di buku-buku teori dan sumber internet dengan keberhasilan sebesar 95%. Dengan adanya sistem ini diharapkan dapat memberikan kemudahan dalam menyelesaikan masalah logis berbasis web.
Kata kunci : kecerdasan buatan, Artificial Intelligence, Prolog, pencarian, Web-based Application, database, SQL (Structured Query Language), masalah logis berbasis web.
