Logtalk

সফটওয়্যার স্ক্রিনশট:
Logtalk
সফটওয়্যার বিবরণ:
সংস্করণ: 2.44.1
তারিখ আপলোড: 14 Apr 15
ডেভেলপার: Paulo Moura
লাইসেন্স: বিনামূল্যে
জনপ্রিয়তা: 1

Rating: nan/5 (Total Votes: 0)

Logtalk Prolog প্রোগ্রামিং ভাষা একটি ওপেন সোর্স অবজেক্ট ওরিয়েন্টেড এক্সটেনশন. অবজেক্ট ওরিয়েন্টেড এবং ইভেন্ট চালিত প্রোগ্রামিং সঙ্গে যুক্তিবিজ্ঞান প্রোগ্রামিং একীভূত, এটা সবচেয়ে Prolog কম্পাইলার সঙ্গে সামঞ্জস্যপূর্ণ.
Logtalk এগুলির নমুনা এবং ক্লাস উভয় সমর্থন করে. উপরন্তু, এটা বিভাগ ভিত্তিক রচনা মাধ্যমে কম্পোনেন্ট ভিত্তিক প্রোগ্রামিং সমর্থন

বৈশিষ্ট্য :.

  • বিচ্ছেদ ইন্টারফেস এবং বাস্তবায়ন মধ্যে:
  • বিধেয় নির্দেশ (ঘোষণা) কোনো বস্তু দ্বারা প্রয়োগ করা যেতে পারে, যা প্রোটোকল (ইন্টারফেস), ভিতরে অন্তর্গত করা যাবে.

  • প্যারামেত্রিক বস্তু:
  • অবজেক্ট নাম বস্তুর predicates parametrize ব্যবহার করা যেতে পারে যে বিনামূল্যে ভেরিয়েবল ধারণকারী যৌগ পদ হতে পারে.

  • উভয় বর্গ-ভিত্তিক এবং প্রোটোটাইপ-ভিত্তিক সিস্টেমের জন্য সমর্থন:
  • আছে, একই আবেদন, ক্লাস-ভিত্তিক (এক্সটেনশন সঙ্গে সম্পর্কের) (ইনস্ট্যান্স এবং বিশেষায়িত সম্পর্ক) শ্রেণীবিভাগ ও প্রোটোটাইপ ভিত্তিক শ্রেণীবিন্যাসের.

  • একাধিক বস্তু শ্রেণীবিন্যাসের জন্য সমর্থন:
  • কোন প্রয়োজন কিছু জেনেরিক বস্তুর মধ্যে মূলী একটি একক লম্বা অনুক্রমের করতে বাধ্য করা হবে.

  • বেসরকারী, সুরক্ষিত, এবং পাবলিক উত্তরাধিকার:
  • Logtalk সি অনুরূপ একটি উপায় সুরক্ষিত, ব্যক্তিগত, এবং পাবলিক উত্তরাধিকার সমর্থন করে. তাছাড়া, কোনো সত্তা সম্পর্ক একটি সুযোগ শব্দ ব্যবহার করে যোগ্যতা অর্জন করা যেতে পারে.

  • বেসরকারী, সুরক্ষিত, এবং পাবলিক বস্তুর predicates:
  • আপনার বস্তুর সেট সুযোগ আপনার প্রোটোকল নকশা মেলে এবং রানটাইম সিস্টেম আপনার পছন্দ জোরদার করা যাক predicates.

  • স্ট্যাটিক এবং গতিশীল বস্তু:
  • অবজেক্টস স্থির বা গতিশীল হতে পারে. স্থির বস্তু কম্পাইল এবং Prolog ফাইল হিসাবে একই ভাবে লোড করা হয়, যা সোর্স ফাইল সংজ্ঞায়িত করা হয়. গতিশীল বস্তুর হয় রানটাইম সোর্স ফাইল সংজ্ঞায়িত বা তৈরি করা যেতে পারে.

  • স্ট্যাটিক এবং গতিশীল বস্তু predicates:
  • কোন স্ট্যাটিক বস্তু স্থির এবং গতিশীল predicates উভয় থাকতে পারে.

  • আমরা মান Prolog সিনট্যাক্স ব্যবহার করতে পারেন, যাতে একটি প্রাক প্রসেসর:
  • Logtalk একটি মসৃণ লার্নিং কার্ভ জন্য কয়েক অপারেটর এবং নির্দেশ ছাড়াও সঙ্গে মান Prolog বাক্য গঠন ব্যবহার করে.

  • ইভেন্ট চালিত প্রোগ্রামিং:
  • spied ঘটনা ঘটে যখন predicates পরোক্ষভাবে বস্তুর সংযোজন কমান যা প্রোগ্রামিং সমাধান, যার ফলে বলা যেতে পারে. উপরন্তু, ঘটনা আচরণগত প্রতিফলন জন্য সমর্থন প্রদান করে.

  • কম্পোনেন্ট ভিত্তিক প্রোগ্রামিং:
  • predicates কোন কোড অনুলিপি ছাড়া কার্যত কোন বস্তুর দ্বারা ইম্পোর্ট করা যাবে, যা বিভাগ, ভিতরে encapsulated এবং নির্বিশেষে বস্তুর শ্রেণীবিন্যাসের করা যাবে. সুতরাং, বস্তু পুনরায় জরিমানা হিসাবে খসখসে ইউনিট কোড যা আইন বিভাগ, রচনা মাধ্যমে সংজ্ঞায়িত করা যেতে পারে.

  • মাল্টি উত্তরাধিকার সমর্থন:
  • Logtalk প্রোটোকল ও বাস্তবায়ন উভয় বহু উত্তরাধিকার সমর্থন করে. একটি বস্তুর বিভিন্ন প্রোটোকল বাস্তবায়ন এবং প্রসারিত, বিশেষজ্ঞ, বা বিভিন্ন বস্তু instantiate পারে. মাল্টি উত্তরাধিকার দ্বন্দ্ব Logtalk লুকআপ আলগোরিদিম দ্বারা বা স্পষ্টভাবে সম্পৃক্ত নির্দেশ ব্যবহার করে পরোক্ষভাবে মীমাংসিত হয়.

  • ভাল পারফরম্যান্স:
  • Logtalk কোড আপনি দক্ষ Prolog কোড লিখতে ব্যবহার যে একই কলাকৌশল ব্যবহার করে কম্পাইল করা হয়. উপরন্তু, পদ্ধতি অনুসন্ধান কর্মক্ষমতা বৃদ্ধি Logtalk রানটাইম ইঞ্জিন দ্বারা ক্যাশে করা হবে. কিছু Prolog কম্পাইলার জন্য বেঞ্চমার্ক ফলাফল এখানে পাওয়া যায়.

  • আইএসও Prolog স্ট্যান্ডার্ড সঙ্গে বন্ধ ইন্টিগ্রেশন:
  • Logtalk আইএসও Prolog স্ট্যান্ডার্ড কে কনর্ফাম করে বা ঘনিষ্ঠভাবে অনুসরণ করে কোনো Prolog কম্পাইলার দিয়ে মসৃণ ইন্টিগ্রেশন জন্য ডিজাইন করা হয়.

  • সবচেয়ে Prolog কম্পাইলার সঙ্গে সামঞ্জস্যপূর্ণ:
  • প্রায় কোনো আধুনিক কম্পাইলার সঙ্গে এটি সামঞ্জস্যপূর্ণ তৈরীর একটি সংক্ষিপ্ত কনফিগারেশন ফাইল এর মাধ্যমে একটি নির্দিষ্ট Prolog কম্পাইলার সঙ্গে Logtalk ইন্টারফেস.

  • এক্সএমএল ডকুমেন্টেশন ফাইল স্বয়ংক্রিয় জেনারেশন:
  • Logtalk স্বয়ংক্রিয়ভাবে প্রতি কম্পাইল বস্তু, প্রোটোকল, বা বিভাগ জন্য XML বিন্যাসে একটি ডকুমেন্টেশন ফাইল তৈরি করে. সিস্টেম ফাইল দলিল রূপান্তর করতে প্রয়োজনীয় সকল XSL এর (টি) ফাইল ও স্ক্রিপ্ট অন্তর্ভুক্ত (এক্স) এইচটিএমএল এবং পিডিএফ.
  • Logtalk একটি Prolog কম্পাইলার (প্রধান উন্নয়ন পরিবেশ MacOS X চলমান একটি অ্যাপল PowerBook G4) সঙ্গে প্রায় কোনো কম্পিউটারে রান. Logtalk এবং একটি নির্দিষ্ট Prolog কম্পাইলার মধ্যে ইন্টারফেস একটি কনফিগারেশন ফাইলের মাধ্যমে সম্পন্ন করা হয়.
  • এই ফাইল Prolog কম্পাইলার মধ্যে উপলব্ধ ISO Prolog মান জন্য কিছু Logtalk নির্দিষ্ট predicates এবং বাস্তবায়নের না predicates রয়েছে.

  • Logtalk লেখা আমি যখনই সম্ভব Prolog ISO- র মান অনুসরণ করতে চেষ্টা করেছি. ISO- র মান পার্ট আমি সংজ্ঞায়িত করা হয় না যে Logtalk প্রয়োজনীয় ক্ষমতা আছে:

  • এক্সেস বৈশিষ্ট্য (গতিশীল, স্ট্যাটিক, built_in) বিধেয় করুন:
  • আপনার প্রিয় Prolog একটি কনফিগারেশন ফাইল খুব সহজ, যার ফলে উপরে উল্লিখিত এই ক্ষমতা আছে যে শর্ত থাকে. Logtalk প্যাকেজ ইতিমধ্যে অধিকাংশ সাধারণ Prolog কম্পাইলার জন্য কনফিগারেশন ফাইল অন্তর্ভুক্ত করা হয়েছে. অনুকূল কর্ম সঞ্চালনের জন্য, Logtalk Prolog কম্পাইলার স্ট্যাটিক ও ডাইনামিক কোড উভয়ের জন্য প্রথম যুক্তি ইন্ডেক্স সমর্থন প্রয়োজন.

  • Logtalk developement এবং পরীক্ষার বর্তমানে (বর্ণানুক্রমিক) নিম্নলিখিত Prolog কম্পাইলার ব্যবহার করে সঞ্চালিত হয়:
  • গনুহ Prolog 1.2.18
  • SWI Prolog 5.4.7
  • Yap বাড়ি 4.5.7

  • যে, এই আপনার সেরা পছন্দ Logtalk চালানোর জন্য সম্ভবত কারণ
  • (যদি আপনি এই কম্পাইলার এক ব্যবহার বিনামূল্যে যে প্রদান).

  • উপরন্তু, Logtalk (বর্ণানুক্রমিক) নিম্নলিখিত Prolog কম্পাইলার সঙ্গে সামান্য অথবা কোন পরিবর্তন সঙ্গে রান
  • ALS Prolog 3.1
  • Amzi! Prolog 6.22 ~ 7.x
  • BinProlog 8.x ~ 10.x
  • বি Prolog 4.0, 5.0, 6.x
  • Ciao Prolog 1.10p5
  • গ্রাস 5.5 ~ 5.8
  • যদি / Prolog 5.x
  • JIProlog 3.0.1-2
  • কে-Prolog 5.1.2a
  • LPA MacProlog32 1.25
  • LPA WinProlog32 4.0x
  • MasterProlog 4.1
  • ওপেন Prolog 1.1b10
  • PrologII 4.5
  • qu-Prolog 6.7
  • কুইন্টাস Prolog 3.3 ~ 3.5
  • SICStus Prolog 3.8 ~ 3.12.x
  • XSB 2.6 ~ 2.7

এই রিলিজে নতুন কি:

  • & quot কল প্রক্রিয়া বার্তা পাঠানোর পরিমিত; আগে, & quot; পদ্ধতি লুকআপ করার পূর্বে ইভেন্ট হ্যান্ডলার. এই পরিবর্তন (যেমন, একটি বার্তা বোঝা যায় না যখন একটি ব্যতিক্রম নিক্ষেপ পরিবর্তে ব্যর্থ) বিদ্যমান কোড উপর কোন প্রভাব আছে কিন্তু কিছু মজার অ্যাপ্লিকেশন করতে পারবেন উচিত.
  • কম্পাইল যখন / পতাকা মান নির্ধারণের একটি ফাইল লোড এবং / 2-এ নির্মিত সম্পৃক্ত set_logtalk_flag ব্যবহার করে যখন মধ্যে কম্পাইলার পতাকার আরো সামঞ্জস্যপূর্ণ হ্যান্ডলিং: উভয় ক্ষেত্রেই, সেটিং, & quot; smart_compilation, & quot; বন্ধ করতে হবে জাতীয় পতাকা, & quot; পরিষ্কার করুন & quot; পতাকা এবং সেটিং, & quot; পরিষ্কার করুন & quot; বন্ধ করতে হবে জাতীয় পতাকা, & quot; smart_compilation, & quot; পতাকা. এছাড়াও & quot সেটিং; ডিবাগ করুন & quot; পতাকা বন্ধ করতে হবে উভয়, & quot; smart_compilation, & quot; এবং & quot; পরিষ্কার করুন & quot; পতাকা.
  • দেয় নরম-কাটা নিয়ন্ত্রণ কনস্ট্রাক্ট, (* - & gt;) নেটিভ ব্যাক শেষ Prolog কম্পাইলার দ্বারা সমর্থিত হলে গনুহ আলোচনা যখন / 2, ড্যানিয়েল Diaz দ্বারা একটি মন্তব্য পর (ব্যাকরণ নিয়ম শরীরের মধ্যে ব্যবহার করা হবে নরম-কাটা নিয়ন্ত্রণ কনস্ট্রাক্ট জন্য Prolog সমর্থন).
  • Logtalk কম্পাইলার বাগ সংশোধন যখন, & quot; source_data, & quot; পতাকা একটি পাঠযোগ্য শব্দ অবস্থান উদ্ধার করা সম্ভব হয় না যেখানে ব্যাক শেষ Prolog কম্পাইলার দিয়ে হয়.
  • প্রথম মেটা-যুক্তি সঠিকভাবে প্রক্রিয়াজাত করা হবে যেখানে শুধুমাত্র meta_non_terminal / 1 নির্দেশনা সংকলন মধ্যে একটি বাগ সংশোধন করা.
  • উইন্ডোজ 64 বিট সিস্টেমের উপর যখন চলমান সনাক্ত করতে এবং অ সম্পৃক্ত এবং অ অপারেটর রপ্তানি উপেক্ষা করা অন্ধকার কনফিগ ফাইল আপডেট যখন প্রাক প্রক্রিয়াকরণ lib / 1 নির্দেশে.
  • ইউনিট পরীক্ষা কাঠামো ব্যর্থ ইউনিট পরীক্ষার জন্য আরো তথ্যপূর্ণ বার্তা মুদ্রণ আপডেট করা হয়েছে.

  • Listp & quot ;, & quot;
  • যোগ করা হয়েছে সম্পৃক্ত & quot (একটি নির্দিষ্ট দৈর্ঘ্যের সঙ্গে sublists মধ্যে একটি তালিকা বিভাজন জন্য) / 4 বিভক্ত তালিকা & quot ;, & quot; difflist, & quot; লাইব্রেরি সত্ত্বা.
  • & quot আপডেট; সিসি, & quot; CxProlog জন্য শেল / 2 সম্পৃক্ত জন্য একটি সংজ্ঞা দিয়ে উদাহরণ.

  • মাইল, & quot;
  • & quot বস্তুর নাম পরিবর্তন; উদাহরণস্বরূপ ইউনিট পরীক্ষা চলমান যখন উদাহরণস্বরূপ একটি নাম দ্বন্দ্ব এড়ানোর জন্য.
  • Yap বাড়ি 64 বিট সংস্করণ সনাক্তকরণ প্রতিরোধকারী উইন্ডোজ ইনস্টলার মধ্যে একটি বাগ সংশোধন. বাগ রিপোর্টে যা, STEPAN Ipatov ধন্যবাদ.
  • ইনস্টলেশন ডিরেক্টরি কাস্টমাইজ থেকে ব্যবহারকারীদের বিরত যে উইন্ডোজ ইনস্টলার মধ্যে একটি বাগ সংশোধন. বাগ রিপোর্টে যা বাগ নির্ণয়ের জন্য গেভিন ল্যাম্বার্ট ড্যানিয়েল Moniz ধন্যবাদ.
  • XSB উন্নত সনাক্তকরণের জন্য উইন্ডোজ ইনস্টলার স্ক্রিপ্ট আপডেট করা হয়েছে এবং Logtalk ইতিমধ্যে ইনস্টল করা হয় যেখানে একটি কম্পিউটারে একটি অ অ্যাডমিন ব্যবহারকারী দ্বারা চালানো শুধুমাত্র যখন প্রতি ব্যবহারকারী ফাইল ইনস্টল করার জন্য ডিফল্ট.

  • তালিকা & quot; প্যাকেজ
  • ক্ষীর & quot মৌলিক সমর্থন যোগ করা হয়েছে. যোগ করা হয়েছে নোট, & quot; নূতন, & quot; এবং & quot; texmates, & quot; ক্ষীর প্যাকেজ.
  • Textastic রহমান টেক্সট এডিটর যোগ করা হয়েছে নোট.
  • UltraEdit টেক্সট এডিটর জন্য মৌলিক বাক্য গঠন রং ও কোড ভাঁজ সমর্থন যোগ করা হয়েছে.
  • TextMate TextMate 2.0 উন্নয়ন সংস্করণ চালু স্বয়ংক্রিয় ইন্ডেন্ট সংশোধন নিষ্ক্রিয় করার পাঁজা আপডেট করা হয়েছে.

সংস্করণ 2.44.0 নতুন কি:

  • উভয় প্যাচিং অনুমতি বিভাগ complementing এর পরিবর্তন শব্দার্থবিদ্যা সম্পৃক্ত ঘোষণা এবং complemented বস্তুর সম্পৃক্ত সংজ্ঞা. এই যে বিধেয় ঘোষণা এবং সংজ্ঞা অনুসন্ধান complemented বস্তু নিজেই বা তার সম্পর্কিত সত্ত্বা মধ্যে খুঁজছেন আগে complementing বিভাগ এ শুরু নিশ্চিত করে সম্পন্ন করা হয়.
  • বন্ধ পরিণত বিভাগ complementing জন্য সমর্থন সঙ্গে কম্পাইল করা হয়েছে যে একটি complemented বস্তুর জন্য একটি complementing বিভাগ কম্পাইল যখন একটি সতর্কবার্তা উৎপন্ন করার জন্য Logtalk কম্পাইলার আপডেট করা হয়েছে.
  • বাগ কলিং প্রসঙ্গে & quot নির্ধারণ করা হবে যেখানে মেটা-predicates জন্য মেটা-কল প্রক্রিয়াকরণ সংশোধন এই, & quot; পরিবর্তে, & quot এর; প্রেরক, & quot; একটি মেটা-যুক্তি :: / 2 এক, {} ছিল যখনই / 1,

সংস্করণ 2.43.3 নতুন কি:

  • ব্যবহার বিবেচনা করা কম্পাইলার পরিবর্তন / প্রতিফলন বিল্ট ইন পদ্ধতি কল কম্পাইল যখন 2 নির্দেশ. এই পরিবর্তন ব্যবহার / 2 নির্দেশ শব্দার্থবিদ্যা প্রসারিত করে এবং Logtalk প্লেইন Prolog অ্যাপ্লিকেশন থেকে সহজ মাইগ্রেশন করতে পারবেন.
  • সুযোগ / 1 সম্পত্তি, যোগ predicate_property / 2-এ নির্মিত পদ্ধতি বাস্তবায়ন আপডেট করা হয়েছে.
  • সোর্স ফাইল নাম, উৎস ফাইল ডিরেক্টরি, এবং উত্পন্ন Prolog ফাইল সোর্স ফাইল কম্পাইলার বিকল্পগুলি সম্পর্কে তথ্য যোগ করতে Logtalk কম্পাইলার আপডেট করা হয়েছে. একটি সোর্স ফাইল লোড করার সময় পূর্ববর্তী সংস্করণে, এই তথ্য শুধুমাত্র নিবন্ধিত হয়. পরিবর্তন Logtalk লাইব্রেরি কম্পাইল প্রাক এবং প্রাক লোড করা হয় যেখানে ভবন অ্যাপ্লিকেশন সহজ করে.
  • সোর্স ফাইল সংকলন ব্যবহৃত হুক বস্তুর নাম প্রিন্ট Logtalk কম্পাইলার আপডেট যখন, & quot; হুক, & quot; কম্পাইলার পতাকা সংজ্ঞায়িত করা হয়.
  • বিল্ট ইন ডিবাগার যার / 1 বাস্তবায়ন প্রত্যাহার কল নিয়ন্ত্রণবাদী করতে লজিক্যাল আপডেট শব্দার্থবিদ্যা সুবিধা গ্রহণ করতে ব্যর্থ ব্যাক শেষ Prolog কম্পাইলার দ্বারা নির্মিত অপ্রয়োজনীয় পছন্দ পয়েন্ট এড়ানোর জন্য.
  • আপডেট
  • সত্তা অস্তিত্ব ব্যতিক্রম নিক্ষেপ যখন এটি অভ্যন্তরীণ সত্তা অভিন্ন পরিচয় decompile করতে ব্যর্থ হয়েছে যেখানে Logtalk কম্পাইলার রানটাইম হ্যান্ডলার মধ্যে একটি বাগ সংশোধন.
  • অভ্যন্তরীণ Logtalk রানটাইম টেবিল ব্যবহৃত গতিশীল predicates কিছু সূচক / 1 নির্দেশনা, যোগ লীন Prolog কনফিগ ফাইল আপডেট করা হয়েছে.
  • জাস্ট ইন টাইম মাল্টি যুক্তি ইন্ডেক্স জন্য নতুন পরীক্ষামূলক গানের শিরোনাম-Prolog সমর্থন দ্বারা অবচিত হয়েছে, যা সূচক / 1 নির্দেশ, প্রাপ্যতা জন্য পরীক্ষা গানের শিরোনাম-Prolog ইন্টিগ্রেশন ফাইল আপডেট করা হয়েছে.
  • যোগ করা হয়েছে subsequence / 4 (একটি নির্দিষ্ট দৈর্ঘ্যের সঙ্গে একটি তালিকা subsequences জেনারেট করার জন্য), / 4 (একটি তালিকা উপাদান প্রতিস্থাপন জন্য) প্রতিস্থাপন predicates, এবং hamming_distance লাইব্রেরি & quot / 3; listp, & quot; এবং & quot; তালিকা, & quot; সত্ত্বা.
  • যোগ করা হয়েছে euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, এবং লাইব্রেরি & quot scalar_product / 3 predicates; numberlistp, & quot; এবং & quot; numberlist, & quot; সত্ত্বা.
  • & quot এর সংজ্ঞা নিয়ে কিছু নিরীহ বাগ সংশোধন; চরিত্র, & quot; লাইব্রেরি বস্তু, / 1 is_bin_digit predicates / 1.
  • , / 1 is_octal_digit / 1 is_dec_digit, এবং is_hex_digit
  • লাইব্রেরি, & quot আপডেট; all_loader.lgt, & quot; meta_compiler_loader.lgt, & quot;-লোডার ফাইল এছাড়াও, & quot লোড করা; লোডার ফাইল.

সংস্করণ 2.43.1 নতুন কি:

  • ব্যবহার বিবেচনা করা কম্পাইলার পরিবর্তন / 2 নির্দেশ ডাটাবেস-এ নির্মিত পদ্ধতি কল কম্পাইল করার সময়. এই পরিবর্তন ব্যবহার / 2 নির্দেশ শব্দার্থবিদ্যা প্রসারিত করে এবং Logtalk প্লেইন Prolog অ্যাপ্লিকেশন থেকে সহজ মাইগ্রেশন করতে পারবেন.
  • coinductive / 1 নির্দেশ আর্গুমেন্ট হিসাবে একটি বিধেয় টেমপ্লেট ব্যবহার করার জন্য পরীক্ষামূলক সমর্থন যোগ করা হয়েছে. এই টেমপ্লেটটি আর্গুমেন্ট coinductive সাফল্যের জন্য অর্থপূর্ণ হয়, যা এর স্পেসিফিকেশন পারবেন. Feliks Kluzniak এর DRA মেটা-দোভাষী উপর পাওয়া অনুরূপ কার্যকারিতা উপর নির্ভর করে.
  • বিল্ট ইন ডিবাগার Logtalk ব্যবহার করে যখন coinductive predicates ডিবাগ করার জন্য উন্নত সমর্থন.

  • CxProlog জন্য
  • সরানো coinduction সমর্থন. এই কম্পাইলার এর বর্তমান সংস্করণ এখন পরীক্ষামূলক coinduction বাস্তবায়ন দ্বারা প্রয়োজন বোধ করা হয় যা বিল্ট ইন সম্পৃক্ত বা নিয়ন্ত্রণ কনস্ট্রাক্ট একটি নরম করে কাটা, অভাব আছে.
  • bagof / 3 এবং setof / 3-এ নির্মিত লক্ষ্য যুক্তি ^ / 2 অস্তিত্ববাদের কোয়ান্টিফায়ার ব্যবহার করতে পারেন যখনই পদ্ধতি.
  • জন্য আলোয়ান predicates ব্যবহারকারী সংজ্ঞা প্রতিরোধকারী একটি দীর্ঘ স্থায়ী সীমাবদ্ধতা উত্ক্ষিপ্ত
  • & quot সমর্থন যোগ করা হয়েছে; ^, & quot; মেটা-বিধেয় মেটা-যুক্তি মোড সুনির্দিষ্টভাবে জানুয়ারি Wielemaker দ্বারা প্রস্তাবিত এবং গানের শিরোনাম-Prolog 5.11.25 পাওয়া. লক্ষ্য যুক্তি ^ / 2 অস্তিত্ববাদের কোয়ান্টিফায়ার ব্যবহার করতে পারেন যখনই bagof / 3 এবং setof / 3-এ নির্মিত পদ্ধতি চাদরে সংজ্ঞা যখন এই মোডে সুনির্দিষ্টভাবে দরকারী.
  • যোগ করা হয়েছে, & quot; prolog_compiler, & quot; এবং & quot; prolog_loader, & quot; ব্যাক শেষ ডিস্ক কম্পাইল এবং একটি (কম্পাইল) Prolog পতাকা লোড Prolog কম্পাইলার বিল্ট ইন predicates অপশন প্রেরণ অনুমতি যা কম্পাইলার পতাকা,. উভয় পতাকার জন্য ডিফল্ট মান হল খালি তালিকা.

  • বিল্ট ইন Logtalk কম্পাইলার লক্ষ্য হিসাবে অ অবস্থান পরিবর্তনসূকক উপসর্গ আর্গুমেন্ট প্রক্রিয়া চেষ্টা করতে পারে যেখানে অবস্থান পরিবর্তনসূকক উপসর্গ predicates Prolog মালিকানা কল কম্পাইল যখন
  • বাগ সংশোধন. এই বাগ শুধুমাত্র যেমন গ্রাস হিসাবে কিছু ব্যাক শেষ Prolog কম্পাইলার সঙ্গে নিজেকে উদ্ভাসিত.
  • শর্তাধীন সংকলন নির্দেশ প্রক্রিয়াকরণ মধ্যে একটি বাগ সংশোধন করা.
  • create_category create_object / 4 কল উপর ওরফে / 3 নির্দেশনা ক্ষণস্থায়ী প্রতিরোধকারী বাগ, / 4, এবং create_protocol / 3-এ নির্মিত predicates সংশোধন.
  • থেকে সরানো বিল্ট ইন বস্তু, & quot; logtalk, & quot; decompile_predicate_head / 4 এবং decompile_predicate_indicator / 4 অবচিত পদ্ধতি.
  • দীর্ঘ অবচিত Logtalk metapredicate / 1 নির্দেশ জন্য অপসারিত সমর্থন.

  • স্থিতিমাপ বিভাগ সঙ্গে যখন কাজ ক্যাশে থেকে প্রয়োজনীয় তুলনায় আরো নির্দিষ্ট হতে পারে যেখানে বিভাগ predicates কল ক্যাশে যখন
  • কর্মক্ষমতা বাগ সংশোধন.
  • & quot ক্যাশে উন্নত; সুপার, & quot; এগুলির নমুনা মধ্যে থেকে কল. পূর্বে, সব ক্যাশে থেকে, & quot মান দ্বারা বিশেষ করা হবে; স্ব করুন & quot; সঠিকভাবে একটি বস্তুর উভয় সূচনা করে এবং অন্যান্য বস্তুর বিশেষ বিশেষ ক্ষেত্রে যেখানে মোকাবেলা করার জন্য.
  • নির্দেশ ধারণ করে সত্ত্বা সংকলন সময় সম্পৃক্ত সুযোগ নির্দেশ পাওয়া কোন অপারেটর ঘোষণা সক্রিয় Logtalk কম্পাইলার আপডেট করা হয়েছে.
  • নরম-কাটা নিয়ন্ত্রণ কনস্ট্রাক্ট প্রদান কিন্তু নরম-কাটা প্রদান করবেন না যে এই ধরনের SICStus Prolog ব্যাক শেষ Prolog কম্পাইলার ব্যবহার করে যখন coinductive predicates কর্মক্ষমতা উন্নত বিল্ট ইন মেটা-বিধেয় (/ 3 যদি).
  • কম্পাইলার পতাকা, & quot সাথে লোড উৎস ফাইল কম্পাইল করা হয় যখন সংকলন / লোড সতর্কবার্তা একটি কৃত্রিম রিপোর্ট ছাপা যেতে পারে যেখানে বাগ / সংশোধন; রিপোর্ট করুন & quot; বন্ধ.

  • Streamvars, & quot;
  • & quot যোগ করা হয়েছে; বিদ্যমান & quot থেকে প্রাপ্ত লাইব্রেরি বস্তুর; assignvars, & quot; প্রবাহ, & quot; একটি & quot থেকে (ভেরিয়েবল হতে পারে) পদ যুক্ত করা এবং প্রাপ্ত করার জন্য সমর্থন সমন্বিত লাইব্রেরি বিভাগ; পরিবর্তনশীল.
  • আপডেট করুন & quot; coinduction, & quot; উদাহরণস্বরূপ, উন্নত coinductive / 1 নির্দেশ সুবিধার সুযোগ গ্রহণ এবং SICStus Prolog ব্যবহার করে চালানো যাবে যে ব্যক্তি উদাহরণ সংখ্যা প্রসারিত. নেদা Saeedloei দ্বারা সরবরাহিত একটি মডেল, উদাহরণস্বরূপ, চেক coinduction ব্যবহার করে, coroutining এবং সীমাবদ্ধতা যোগ করা হয়েছে.
  • আপডেট করুন & quot; metapredicates, & quot; মেটা-যুক্তি existentially যোগ্যতাসম্পন্ন ভেরিয়েবল থাকতে পারে যখন bagof / 3 এবং setof / 3-এ নির্মিত পদ্ধতি চাদরে নির্ধারণ কিভাবে ব্যাখ্যা নমুনা কোড উদাহরণ.
  • & quot আপডেট; সিসি, & quot; উদাহরণস্বরূপ, বিভিন্ন ব্যাক শেষ Prolog কম্পাইলার জন্য বিধেয় সংজ্ঞা সংশোধন এবং কিছু মৌলিক একক পরীক্ষা যোগ করা.
  • আপডেট করুন & quot; এনকোডিং, & quot; লীন Prolog জন্য সীমিত সমর্থন উদাহরণ.
  • meta_non_terminal / 1 নির্দেশ জন্য এবং কল // এন অ টার্মিনাল জন্য অনুপস্থিত থেকে যোগ করা হয়েছে, & quot; সাহায্য করুন & quot; উদাহরণ.
  • রবার্ট সাসাক, দ্বারা সরবরাহিত PDDL 3.0 ফাইল জন্য একটি পার্সার, যোগ করা হয়েছে.
  • SubEthaEdit টেক্সট এডিটর সমর্থন যোগ করা হয়েছে ভাঁজ কোড. কোড যোগ করা হয়েছে এবার, বলিষ্ঠতা, এবং TextMate টেক্সট এডিটর থেকে শর্তাধীন সংকলন ব্লকের জন্য সমর্থন ভাঁজ.
  • লাইব্রেরি পাথের Logtalk কম্পাইলার / রানটাইম লোড করার পূর্বে ফাইল লোড করার জন্য ইন্টিগ্রেশন স্ক্রিপ্ট আপডেট করা হয়েছে. এই সেটিং পরিবর্তন ফাইল থেকে লাইব্রেরি এবং উদাহরণ ফাইল লোড প্রক্রিয়া সহজ করার লক্ষ্যে কাজ করে. LOGTALKHOME এনভায়রনমেন্ট ভেরিয়েবল সংজ্ঞায়িত করা হয় না যখন উপরন্তু, $ হোম / ভাগ Logtalk ইনস্টলেশন ডিরেক্টরি সন্ধান. পরামর্শ জন্য Vator সান্তোস কোস্টা ধন্যবাদ.
  • লীন Prolog সমর্থন এবং Yap 64 বিট সংস্করণ সনাক্ত করার জন্য উইন্ডোজ ইনস্টলার আপডেট করা হয়েছে.

সংস্করণ 2.43.0 নতুন কি:.

  • লীন Prolog জন্য পরীক্ষামূলক সমর্থন যোগ করা হয়েছে
  • Logtalk কম্পাইলার এবং রানটাইম দ্বারা পরিবর্তন এরর রিপোর্টিং. সমস্ত ব্যতিক্রম পদ এখন যখনই সম্ভব, ত্রুটি, ব্যবহার (ত্রুটি, logtalk (লক্ষ্য, সত্তা))
  • বিন্যাস. যখনই বাস্তব, নতুন '$ lgt_must_be' / 2-3 অভ্যন্তরীণ predicates ব্যবহার চেক অভ্যন্তরীণ ত্রুটি পরিবর্তন হয়েছে.
  • কোন & quot যোগ করা হয়েছে; নিখুত, & quot; যার ডিফল্ট মান & quot পতাকা; & quot ;. এই পতাকা ব্যবহারকারী যেমন জন্য বিদ্যমান অপ্টিমাইজেশন বন্ধ চালু করতে পারবেন ডিবাগ কর্ম (
  • বর্তমানে বাস্তবায়িত অপ্টিমাইজেশন কম্পাইল সম্পৃক্ত ক্লজ শরীর থেকে সত্য / 0 অপ্রয়োজনীয় কল অপসারণ এবং অপসারণ অন্তর্ভুক্ত করুন

  • ব্যাকরণ নিয়ম সম্প্রসারণ দ্বারা উত্পন্ন ক্লজ শরীর থেকে (=) / 2)
  • অপ্রয়োজনীয় কল.
  • যোগ করা হয়েছে একটি & quot; source_data, & quot; যার ডিফল্ট মান & quot পতাকা; & quot ;. এই পতাকা & quot সেট সঙ্গে; & quot ;, Logtalk মোড / 2 ব্যবহার করে প্রতিনিধিত্ব তথ্য রাখা হবে,
  • তথ্য / 1-2, দরকারী / 2, এবং use_module / 2 নির্দেশনা প্লাস (সোর্স ফাইল নাম এবং লাইন নম্বর সহ) সোর্স অবস্থান তথ্য ব্যবহার করে, উভয় ডিবাগ করার জন্য
  • এবং উন্নয়ন সরঞ্জাম সাথে ইন্টিগ্রেশন জন্য. এই পতাকা আরো কম্প্যাক্ট কোড উৎপন্ন করার জন্য বন্ধ পরিণত করা যাবে. parameter_names / 1 বস্তু এবং
  • বিভাগ সম্পত্তি অতিরেক এড়ানোর জন্য মুছে ফেলা হবে.
  • বস্তু, প্রোটোকল, এবং বিভাগ জন্য / 1 বৈশিষ্ট্য / 1 সুরক্ষিত এবং ব্যক্তিগত বাস্তবায়িত. একসাথে পাবলিক / 1 সম্পত্তি সঙ্গে এই বৈশিষ্ট্য

  • সত্তা ঘোষণা predicates তালিকা করতে পারবেন
  • প্রতিফলিত কম্পিউটেশন জন্য ব্যবহার করা. বাস্তবায়িত, / 2 ঘোষণা / 2 সংজ্ঞায়িত অন্তর্ভুক্ত / 3,
  • এবং predicates ঘোষণা এবং একটি সত্তা মধ্যে নির্ধারিত বৈশিষ্ট্য ব্যবহারের জন্য / 3 বৈশিষ্ট্য উপলব্ধ করা হয়. ঘোষণা বৈশিষ্ট্য line_count / 1, বিধেয় সুযোগ নির্দেশ লাইন নম্বর অন্তর্ভুক্ত. সংজ্ঞা বৈশিষ্ট্য line_count / 1, প্রথম
  • প্রধান লাইন নম্বর অন্তর্ভুক্ত
  • সম্পৃক্ত জন্য ধারা, এবং number_of_clauses / 1, বিধেয় জন্য ক্লজ সংখ্যা. এছাড়াও পরীক্ষামূলক ব্যবহার / 3 এবং use_module / 3 বৈশিষ্ট্য প্রয়োগ করা.
  • পুনরায় নির্ধারণ করা হয় যে একটি বিধেয় সংজ্ঞা রয়েছে যে বস্তু বা বিভাগ সম্পর্কে অনুসন্ধান, যার ফলে, redefined_from / 1 একটি বিধেয় সম্পত্তি যোগ করা হয়েছে.
  • একটি loaded_file / 3 সম্পৃক্ত যোগ করা হয়েছে, & quot; logtalk, & quot; বিল্ট ইন বিদ্যমান loaded_file / 2 সম্পৃক্ত সম্পূরক এবং
  • অ্যাক্সেস দেয় যা বস্তু,
    ফাইল কম্পাইল করা এবং লোড করা হয় যখন
  • স্পষ্ট অপশন ব্যবহার করা হয়.
  • meta_non_terminal / 1 ডিরেক্টিভের এবং কল জন্য বাস্তবায়িত কম্পাইলার সমর্থন // এন-এ নির্মিত অ টার্মিনাল.
  • ব্যাকরণ নিয়ম অ টার্মিনাল সুযোগ এবং অস্তিত্ব ত্রুটি মোকাবেলার জন্য সমর্থন মুছে ব্যাকরণ নিয়ম সংকলন সরলীকৃত
  • পরিবর্তে সম্পৃক্ত স্তর স্তর. ব্যাকরণ নিয়ম ডিবাগ করার সময় এই বৈশিষ্ট্য সহায়ক হতে পারে, যদিও এটি Prolog স্থানীয় উন্নয়ন সরঞ্জাম সঙ্গে Logtalk একীকরণ জটিল.
  • সত্তা ধারা অবস্থানে সংরক্ষণ এবং Prolog কম্পাইলার ব্যাক শেষ করার জন্য এই তথ্য উপলব্ধ করার জন্য Logtalk কম্পাইলার আপডেট করা হয়েছে.
  • গতিশীল সত্ত্বা জন্য বিধেয় ঘোষণা এবং সংজ্ঞা টেবিলের জন্য অপ্রয়োজনীয় অভ্যন্তরীণ ক্যাচঅল ক্লজ উৎপাদিত এড়ানোর জন্য Logtalk কম্পাইলার আপডেট করা হয়েছে.
  • বস্তুর encapsulation ভঙ্গ জন্য Multifile predicates ব্যবহার করে প্রতিরোধ করার জন্য Logtalk কম্পাইলার আপডেট করা হয়েছে. একটি প্রাথমিক ঘোষণা করুন
  • সত্তা একটি সুযোগ এবং বিধেয় জন্য একটি Multifile নির্দেশ উভয় ধারণকারী, উপস্থিত থাকা আবশ্যক. উপরন্তু, একটি Multifile জন্য ক্লজ সংজ্ঞা
  • এখন পরিবর্তে কেবল একটি সতর্কবার্তা একটি সংকলন ত্রুটি স্থাপিত হবে Multifile / 1 নির্দেশ সংশ্লিষ্ট ছাড়া সত্তা :: Functor / Arity.
  • সরানো ঘোষণা predicates কল পূর্ববর্তী করতে discontiguous / 1 এবং গতিশীল / 1 নির্দেশে বাধ্য যে Logtalk কম্পাইলার সীমাবদ্ধতা.
  • ব্যাকরণ নিয়ম অ টার্মিনাল misspelt কল Logtalk কম্পাইলার রিপোর্ট উন্নত.
  • এর ব্যবহারের অনুমতি. / 1 ​​নিয়ন্ত্রণ ব্যাকরণ নিয়ম শরীরের উপর নির্মাণ করা

  • ব্যবহার / 2 নির্দেশনা উল্লেখ বার্তা যখন ডিবাগ
  • , বার্তা এখন ব্যবহারকারী দ্বারা লিখিত সোর্স কোড হিসাবে পরোক্ষভাবে যোগ্যতাসম্পন্ন ছাপা হয়.
  • পরিবর্তন সাথে ইন্টিগ্রেশন সহজতর করার জন্য বিল্ট ইন মাল্টি থ্রেডিং predicates বাস্তবায়ন ব্যবহৃত অভ্যন্তরীণ predicates

  • উত্পন্ন Prolog কোড decompilation প্রয়োজন
  • উচ্চ পর্যায়ের ডিবাগ সামগ্রী.
  • সিঙ্ক্রোনাইজ predicates কল সত্তা predicates সংকলন উপর Logtalk 2.42.4 চালু একটি বাগ সংশোধন. কল ফলে এই বাগ করুন
  • থ্রেড লক্ষ্য র্যান্ডম ব্যর্থতা স্পষ্ট হবে, যা predicates অ সিঙ্ক্রোনাইজ ফর্ম, পরিবর্তে তৈরি করা হচ্ছে.
  • সংশোধন একটি বিভাগের মধ্যে একটি রান-টাইম-কম্পাইল মেটা-কল বস্তুর একটি বিধেয়
  • একটি কল হিসাবে কম্পাইল করা হবে যেখানে একটি দীর্ঘ স্থায়ী বাগ
  • স্থানীয় সম্পৃক্ত একটি কল হিসাবে পরিবর্তে বিভাগ আমদানি.
  • সংশোধন সত্তা পতাকা মান set_logtalk_flag ব্যবহার করে স্থানীয়ভাবে সেট যেখানে একটি দীর্ঘ স্থায়ী বাগ / 2 নির্দেশ সত্তা সংরক্ষণ করতে ব্যর্থ হবে
  • কম্পাইল কোড.

  • / 1 পদ্ধতি বাতিল যেখানে একটি অ প্রোটোটাইপ বস্তুর মধ্যে একটি গতিশীল সম্পৃক্ত বাতিল যখন
  • সংশোধন একটি দীর্ঘ স্থায়ী বাগ ছাড়া সফল হবে
  • সম্পৃক্ত আসলে বিলুপ্ত করা হচ্ছে.
  • প্রেক্ষাপটে একটি রান-টাইম সংকলন প্রয়োজন যে একটি মেটা-যুক্তি যখন কলিং সঠিক সঞ্চালনের প্রসঙ্গে সেটিং মধ্যে একটি বাগ সংশোধন
  • , & quot; প্রেরক. & Quot;
  • মডিউল যোগ্যতা
  • থেকে বাদ করা হবে যেখানে মেটা-predicates মডিউল স্পষ্ট যোগ্যতাসম্পন্ন কল সংকলন মধ্যে একটি বাগ সংশোধন
  • কম্পাইল কল. মেটা-আর্গুমেন্ট
  • প্রেক্ষাপটে বলা হবে অর্থাৎ এই কল (Logtalk মেটা-বিধেয় শব্দার্থবিদ্যা ব্যবহার করা হবে
  • আহ্বানকারী) পরিবর্তে স্বাভাবিক Prolog মডিউল মেটা-বিধেয় শব্দার্থবিদ্যা.
  • ব্যবহার করে যখন coinduction stacks এর সক্রিয়া না, যেখানে একটি বাগ সংশোধন

কি সংস্করণ 2.42.4 নতুন:

  • এই সংস্করণ অন্তর্ভুক্ত করা হয়েছে কম্পাইলার, রানটাইম, এবং মাল্টি কর্মক্ষমতা অপ্টিমাইজেশন থ্রেডিং, সিঙ্ক্রোনাইজ / 1 এবং গতিশীল / 1 নির্দেশে জন্য কম্পাইলার ত্রুটি বার্তা উন্নত ফাইল দলিল অপারেটর সুযোগ তথ্য সংরক্ষণের এবং স্বয়ংক্রিয়ভাবে উত্পন্ন এক্সএমএল এই তথ্য outputting জন্য সমর্থন যোগ করা হয়েছে, logtalk বস্তুর নতুন উপযোগ predicates যোগ করা হয়েছে, বিভিন্ন প্রোগ্রামিং উন্নত উদাহরণ, ক্যু-Prolog, SICStus Prolog, গানের শিরোনাম-Prolog, XSB, এবং Yap.
  • পোর্টেবল আপডেট উইন্ডোজ উপর একটি গানের শিরোনাম-Prolog Uninstaller বাগ জন্য একটি কার্যসংক্রান্ত অন্তর্ভুক্ত করা, এবং অতিরিক্ত বৈশিষ্ট্যগুলিও উপস্থিত রয়েছে

কি সংস্করণ 2.42.3 নতুন:

  • এই সংস্করণে গতিশীল predicates কলিং জন্য সমর্থন যোগ করা হয়েছে , & quot প্রেক্ষাপটে এই, & quot; বিভাগ মধ্যে থেকে, SICStus Prolog সিএলপি (FD) লাইব্রেরি ব্যবহার করে যখন indexicals জন্য সমর্থন, একটি পরীক্ষামূলক উদাহরণ যোগ করা হয়েছে যোগ করা হয়েছে, উন্নত লাইব্রেরি ও উদাহরণ রয়েছে,, প্রাক কম্পাইল ধারা মাথা জন্য সমর্থন যোগ করা হয়েছে-এ নির্মিত ডিবাগার করতে bugfixes এবং উন্নতি করা হয়েছে বস্তু এবং শ্রেণীর মধ্যে আরোপিত ভেরিয়েবল ব্যবহার করে, এবং অন্ধকার, গনুহ Prolog, SICStus Prolog, এবং গানের শিরোনাম-Prolog জন্য বহনযোগ্যতা আপডেট অতিরিক্ত বৈশিষ্ট্যগুলিও উপস্থিত রয়েছে.

কি সংস্করণ 2.42.2 নতুন:

  • এই সংস্করণ predicates মডিউল কল সংকলন উন্নতি ,, মেটা-বিধেয় কল মেটা-আর্গুমেন্ট চেক উন্নত ল্যামডা এক্সপ্রেশন জন্য উন্নত সমর্থন, লাইব্রেরি মেটা-predicates কল জন্য একটি নিখুঁত কম্পাইলার রয়েছে, উন্নত, সময়গত ব্যবধান সম্পর্কের সঙ্গে কাজ, এবং পূর্ণসংখ্যা কাউন্টারে ব্যবহার করে, লগিং ইভেন্টের জন্য নতুন লাইব্রেরি যোগ করা বিদ্যমান উদাহরণ এবং লাইব্রেরি, গনুহ Prolog, ক্যু-Prolog, SICStus Prolog, গানের শিরোনাম-Prolog, এবং XSB জন্য বহনযোগ্যতা আপডেট জাভাস্ক্রিপ্ট-ভিত্তিক SyntaxHighlighter প্যাকেজ ব্যবহার করার জন্য সমর্থন যোগ করা হয়েছে, এবং অতিরিক্ত বৈশিষ্ট্যগুলিও উপস্থিত রয়েছে.

কি সংস্করণ 2.42.1 নতুন,

  • এই সংস্করণে নতুন মেটা-বিধেয় মোড জন্য সমর্থন যোগ করা হয়েছে বিল্ট ইন মেটা-predicates আরো Prolog মালিকানা জন্য সক্রিয় সমর্থন সূচক,.
  • সমর্থন গতিশীল / 1 এবং discontiguous / 1 নির্দেশনা অনুপস্থিত সনাক্ত এবং রিপোর্ট করার জন্য যোগ করা হয়েছিল.
  • নতুন তিসি পতাকা যোগ করা হয়েছিল.
  • দুই মেটা-বিধেয় সংকলন বাগ সংশোধন করা হয়েছে.
  • উদাহরণ কিছু আপডেট করা হয়েছে.
  • পোর্টেবিলিটি আপডেট বি Prolog, SICStus Prolog, গানের শিরোনাম-Prolog, XSB, এবং Yap জন্য তৈরি করা হয়েছে.

বিকাশকারী অন্যান্য সফ্টওয়্যার Paulo Moura

Logtalk
Logtalk

11 Mar 16

মন্তব্য Logtalk

পাওয়া মন্তব্যসমূহ না
মন্তব্য যোগ করুন
ছবি চালু!