LOGIC PROGRAMMING 
     (BAHASA PEMROGRAMAN LOGIKA) 
                     ALGORITMA DAN PEMROGRAMAN 1 C 
                        HENNY MEDYAWATI 
           Sumber: Papadopoulos, Harris. ACSC300: Logic Programming, 
           lecture 1: Introduction to Logic Programming and Prolog 
       LOGIC PROGRAMMING 
  • PROBLEM SOLVING = 
    PROBLEM DESCRIPTION + LOGICAL DEDUCTIONS 
     
    Bagaimana kita dapat memiliki kemampuan 
     membuat logika deduksi? 
    Idealnya, kita memberitahukan kepada komputer 
     ‘apa’ yang kita ingin kerjakan, bukan ‘bagaimana’ 
     cara mengerjakannya 
      Bahasa Pemrograman 
     Imperative vs Deklarative 
  • Pada bahasa pemrograman imperative, 
   contohnya Java, Pascal, C++), kita 
   memberitahu komputer ‘bagaimana/how’ 
   cara menyelesaikan masalah, misalnya cetak 
   A, kalikan A dan B…dsb 
  • Pada bahasa pemrograman deklarative 
   (contohnya Prolog), kita mendeklarasikan 
   ‘apa/what’ permasalahannya dan komputer 
   yang akan memecahkan masalah nya  
       Pengenalan Prolog 
  • Prolog adalah bahasa pemrograman pertama 
   yang murni menggunakan bahasa 
   pemrograman deklarative 
  • Prolog kependekan dari ‘Programmation en 
   Logique’ 
  • Pertama kali diperkenalkan tahun 1970 oleh 
   Robert Kowalski dan Maarten van Emden, 
   Alain Colmerauer , selanjutnya 
   diimplementasikan oleh David Warren