წევრი : შესვლა |რეგისტრაცია |ატვირთე ცოდნა
ძიება
B- პროლოგი [ცვლილებები ]
B-Prolog არის სტანდარტული Prolog- ის მაღალი დონის შესრულება რამდენიმე გაფართოებული მახასიათებლით, მათ შორის შესატყვისი დებულებები, ღონისძიების გატარების სამოქმედო წესები, საექსპლუატაციო მარშრუტების გადასაჭრელად, ატრიბუტები და ტაქტიკური ცხრილები, დეკლარაციული მარყუჟები და ტაბულაცია. პირველად 1994 წელს გამოუშვეს, B-Prolog არის ფართოდ გამოიყენება CLP სისტემა. B-Prolog- ის შეზღუდული კომპენსაცია მეორე საერთაშორისო Solvers- ის კონკურსში ორ კატეგორიაშია და მეორე ადგილზე PSP კლასში მეორე ASP Solver- ის კონკურენციის მეორე ადგილი დაიკავა და მე -2 ადგილი ASP solver- ის მესამე კონკურენტში. B-Prolog ხაზს უსვამს PRISM სისტემას, ლოგიკურად დაფუძნებულ სტაბილურ მსჯელობასა და სწავლის სისტემას. B-Prolog არის კომერციული პროდუქტი, მაგრამ ის შეიძლება გამოყენებულ იქნას სწავლისა და არაკომერციული კვლევის მიზნებისთვის (მას შემდეგ, რაც ვერსია 7.8 ინდივიდუალური მომხმარებლისთვის, მათ შორის კომერციული ინდივიდუალური მომხმარებლებისთვის, B-Prolog უფასოა).
[საკონტროლო ლოგიკური პროგრამირება]
1.შესატყვისი დებულებები
2.სამოქმედო წესები
3.CLP (FD)
4.მასივები და მასივი ქვეტექსტის ნოტაცია
5.მარყუჟების foreach და სიაში გააზრებას
6.ტაბულაცია
[ატვირთვა სხვა შინაარსი ]


Copyright @2018 Lxjkh