Ask HN: 2024 में Prolog का परिदृश्य कैसा है?

 (news.ycombinator.com)
4 पॉइंट द्वारा GN⁺ 2024-07-19 | 2 टिप्पणियां | WhatsApp पर शेयर करें
  • कंप्यूटर साइंस के छात्र के रूप में Prolog और logic programming का अध्ययन कर रहा/रही हूँ
  • vanilla Prolog की बुनियादी बातें (atom, predicate, cut, list आदि) सीखीं, और SICStus Prolog में काम करने वाले agent communication system का एक भयानक implementation देखा
  • मुझे लगता है कि इस भाषा में खुद अपनी ताकत हो सकती है, इसलिए इसके बारे में और जानना चाहता/चाहती हूँ
  • जिस क्षेत्र का मैं अध्ययन कर रहा/रही हूँ वह काफी बुनियादी है, इसलिए इस दुनिया और दूसरी दुनिया जिसे मैं वास्तव में पसंद करता/करती हूँ (ontology :D), दोनों के बारे में अपना ज्ञान बढ़ाना और विशेषज्ञता हासिल करना चाहता/चाहती हूँ
  • जानना चाहता/चाहती हूँ कि 2024 में Prolog कैसा दिखता है, और लोग Prolog से क्या कर रहे हैं

संबंधित पढ़ाई

2 टिप्पणियां

 
cometkim 2024-07-19

Prolog ख़ुद नहीं, लेकिन मैं इस बात से सहमत हूँ कि Constraints की अवधारणा आगे भी उपयोगी बनी रहेगी

इसे DB जैसी जगहों पर भी काफ़ी इस्तेमाल किया जाता है, और cutting-edge programming languages में Datalog को first-class support देने की कोशिशें भी हो रही हैं। (उदाहरण: https://flix.dev/)
 
GN⁺ 2024-07-19
Hacker News राय

  • Prolog 50 साल पुरानी भाषा है, और सामान्य coding में इसकी उपयोगिता से ज़्यादा रुकावटें हो सकती हैं

    • Prolog systems बहुत हैं, लेकिन Prolog code कम है, इसलिए community बंटी हुई है
    • Prolog सीखना "Prolog में यह कैसे करें?" से ज़्यादा "Prolog में ठोकर खाने से कैसे बचें?" के करीब है
    • कुछ समर्पित लोग और idealists Prolog की संभावनाओं पर चर्चा कर रहे हैं
    • Prolog में दिलचस्प और मज़ेदार पहलू हैं, लेकिन यह जोखिमभरा भी हो सकता है

  • Scryer Prolog एक उच्च-प्रदर्शन open source ISO-compatible Prolog है, जिसने नया milestone स्थापित किया है

  • Prolog और Constraint programming उपयोगी tools हैं

    • Prolog में कुछ समस्याएँ हैं
      • modern module या package system नहीं है
      • बड़े codebase में non-logical structure लगभग अनिवार्य हो जाती है, जिससे code जटिल हो जाता है
      • static और strong typing न होने से robust code लिखना कठिन होता है
    • Prolog एक अद्भुत भाषा है, और programming के भविष्य में इसकी जगह बन सकती है

  • सैद्धांतिक रूप से Prolog सबसे बेहतरीन भाषा है

    • इसमें logical formalism, computation language, और meta-programming language जैसी विशेषताएँ हैं
    • व्यावहारिक रूप से इसके पास उच्च-प्रदर्शन implementations और छोटी community है
    • Prolog से बहुत कुछ किया जा सकता है, लेकिन कई बार यह स्पष्ट नहीं होता कि कैसे किया जाए

  • नए लोगों का Prolog में रुचि लेना अच्छी बात है

    • Trealla Prolog को Wasm में आसानी से इस्तेमाल करने के लिए libraries विकसित की जा रही हैं
    • लिंक: TypeScript Library, Go Library
    • Scryer और Trealla का लक्ष्य ISO compatibility है

  • Prolog ऐसी भाषा है जो नए तरह की सोच की माँग करती है

    • declarative paradigm अच्छा है, लेकिन दूसरी भाषाओं की तुलना में इसका बहुत बड़ा फायदा नहीं है
    • जिन समस्याओं पर CLPFD लागू किया जा सकता है, उनमें इसकी expressiveness शानदार है
    • LLM का उपयोग करके Prolog facts/database बनाना मज़ेदार है

  • Prolog का "जादू" unification और backtracking की अवधारणाओं पर आधारित है

    • declarative language होने के कारण यह inverse problems को सरलता से व्यक्त कर सकती है, लेकिन समाधान उपलब्ध नहीं कराती
    • अगर solving engine बेहतर होते हैं, तो Prolog जैसी declarative constraint programming languages का उपयोग बढ़ेगा

  • मुझे Prolog के बारे में लगभग कुछ नहीं पता, लेकिन Datalog tutorial पसंद आया

  • logic programming के search algorithms धीमे हैं

    • Prolog सब कुछ कर सकता है, लेकिन हर चीज़ अच्छी तरह नहीं कर सकता
    • Prolog database maintenance जैसी कुछ खास तरह की tasks के लिए उपयुक्त है