Setelah menyelesaikan mata kuliah Pemrograman Deklaratif ini diharapkan agar mahasiswa:

1. Mendeskripsikan bagaimana bahasa pemrograman deklaratif dapat dibuat dan menghubungkannya dengan logika.

2. Mereproduksi dan memahami konsep bahasa pemrograman berbasis logika.

3. Mendeskripsikan bagaimana sebuah interpreter untuk bahasa pemrograman berbasis logika berfungsi.

4. Mengetahui dan dapat mengaplikasikan berbagai metode pemecahan masalah deklaratif.

5. Mendiskusikan dan mengevaluasi berbagai metode pemecahan masalah deklaratif untuk permasalahan yang berbeda-beda.


Pemrograman logika yang meliputi: definisi, program, basis data, aturan, fakta, rekursi, struktur data rekursif, struktur program, predikat built-in, kesalahan melalui negasi, ekspresi himpunan, search spaces, batasan efisien dari search spaces, rekursi tail, pasangan akumulator, Metode pemecahan masalah yang meliputi: divide-and-conquer, generate-and-test, metaprogramming, dan Penalaran program