Ask HN: Bagaimana Prospek Prolog di Tahun 2024?

• Sebagai mahasiswa ilmu komputer, sedang mempelajari Prolog dan pemrograman logika
• Sudah mempelajari dasar-dasar Prolog vanilla (atom, predikat, cut, list, dan sebagainya), serta melihat implementasi yang mengerikan dari sistem komunikasi agen yang berjalan di SICStus Prolog
• Ingin tahu lebih banyak karena merasa bahasa ini sendiri bisa menjadi sebuah kekuatan
• Karena bidang yang sedang dipelajari cukup mendasar, ingin memperluas pengetahuan dan mendalami dunia ini beserta dunia lain yang sangat disukai (ontologi :D)
• Penasaran seperti apa Prolog di tahun 2024 dan apa yang sedang dilakukan orang-orang dengan Prolog

[cometkim]

Bukan Prolog itu sendiri, tetapi saya setuju bahwa konsep constraints akan terus berguna.

Ini juga banyak dimanfaatkan di hal-hal seperti DB, dan di antara bahasa pemrograman paling mutakhir, ada juga upaya untuk memberikan dukungan kelas satu untuk Datalog. (Contoh: https://flix.dev/)

[GN⁺]

Opini Hacker News

• Prolog adalah bahasa dengan sejarah 50 tahun, dan untuk coding umum mungkin memiliki lebih banyak hambatan daripada kegunaan

  • Ada banyak sistem Prolog, tetapi sedikit kode Prolog sehingga komunitasnya terpecah
  • Mempelajari Prolog lebih mirip dengan "bagaimana agar tidak tersandung di Prolog?" daripada "bagaimana melakukannya di Prolog?"
  • Beberapa orang yang berdedikasi dan idealis sedang membahas potensi Prolog
  • Prolog punya sisi yang menarik dan menyenangkan, tetapi juga bisa berisiko

• Scryer Prolog menetapkan tonggak baru sebagai Prolog open source yang kompatibel dengan ISO dan berkinerja tinggi

  • Jika melihat karya Markus Triska, Anda bisa dibuat terkejut
  • Tautan: Markus Triska's Prolog, YouTube Channel

• Prolog dan pemrograman Contraint adalah alat yang berguna

  • Prolog memiliki beberapa masalah
    • Tidak ada sistem modul atau paket yang modern
    • Pada codebase besar, struktur yang tidak logis sulit dihindari sehingga kode menjadi rumit
    • Tidak adanya tipe statis dan kuat membuat penulisan kode yang tangguh menjadi sulit
  • Prolog adalah bahasa yang luar biasa dan berpotensi mendapat tempat di masa depan pemrograman

• Secara teori, Prolog adalah bahasa terbaik

  • Ia memiliki karakteristik sebagai format logis dan bahasa komputasi, serta bahasa metaprogramming
  • Secara praktis, ada implementasi berkinerja tinggi dan komunitas yang kecil
  • Banyak hal bisa dilakukan dengan Prolog, tetapi sering kali tidak jelas bagaimana caranya

• Bagus jika ada orang-orang baru yang tertarik pada Prolog

  • Sedang dikembangkan library agar Trealla Prolog bisa digunakan dengan mudah di Wasm
  • Tautan: TypeScript Library, Go Library
  • Scryer dan Trealla menargetkan kompatibilitas ISO

• Prolog adalah bahasa yang menuntut cara berpikir baru

  • Paradigma deklaratif itu bagus, tetapi tidak memberi keunggulan besar dibanding bahasa lain
  • Sangat ekspresif untuk masalah yang bisa menerapkan CLPFD
  • Menyenangkan menggunakan LLM untuk menghasilkan fakta/database Prolog

• "Keajaiban" Prolog didasarkan pada konsep unifikasi dan backtracking

  • Sebagai bahasa deklaratif, ia dapat mengekspresikan masalah invers dengan sederhana, tetapi tidak menyediakan solusinya
  • Jika mesin penyelesaiannya membaik, penggunaan bahasa pemrograman kendala deklaratif seperti Prolog akan meningkat

• Tidak tahu banyak tentang Prolog, tetapi menikmati tutorial Datalog

  • Tautan: Learn Datalog Today

• Algoritma pencarian dalam pemrograman logika itu lambat

  • Prolog bisa melakukan segalanya, tetapi tidak melakukan semuanya dengan baik
  • Prolog cocok untuk tugas tertentu seperti pemeliharaan database