Prologue - на езика и системата на логика програмиране на базата на езика на предикатното математическата логика Хорн клауза, която е подмножество на първи ред логически предикати.
Основни понятия в Prolog са факти, дедуктивно и заявки, което позволява да се опише на базата от знания, процедурата за извод и вземането на решения.
Фактите, както са описани от Prolog логически предикати с конкретни стойности. Правила в Prolog е написана под формата на дедуктивно с логичното заключение, и списъка на логически условия.
Специална роля в интерпретатора на пролог играе със специална молба към базата от знания, на която логика програмиране система генерира верни и неверни отговори. За общи запитвания с променливи като аргументи в системата, създадена Prolog показва конкретни данни, за да докаже истинността на информацията и за извеждане на правилата за общи.
Фактите като бази от знания Prolog представляват специфична информация (знание). Общата информация и знания в Prolog набор от правила за извеждане (определения) и набор от правила за извеждане (определения) на конкретни факти и обобщената информация.
Историята на език се отнася до 1970. Като декларативен език за програмиране, Prolog програма отнема като описание на проблема или знания бази, а той прави логичен извод, както и търсене на решаване на проблеми, с помощта на търсачката, за да се върне и обединение.
Prolog е най-популярният език за програмиране логика с дълга история на развитие, огромна общност и достатъчно количество качество литература, за разлика, например от Lisp език. Prolog решаване на проблемите, които изискват логични заключения, като най-кратко, отколкото който и да е на структуриран език. Решението е по-кратък и по-лесно да се разбере, толкова по-лесно е да се разбере му нюанси, че много по-важно, когато се работи в екип от програмисти.
Някои пъзели са известни от древни времена. Оригиналните логически пъзели намерени по стените на египетските пирамиди, в древни гръцки ръкописи и други исторически паметници. В разцвета на средновековната история на пъзелите може да се разглежда в края на IX век. Повишаването на нивото на образованието и намаляването на религиозната нетърпимост в науките са довели до увеличаване на броя на феновете на логически задачи. По това време, там е и първата книга на пъзели в Европа - колекция от ирландски възпитател цели Алкуин за развитието на един млад ум.
На следващия тласък за развитието на пъзели е изобретяването през 1974 г. от известния унгарски Cube Ерно Рубик. Cube Рубик се превърна не само играчка, но също така обект на изследователски математици и инженери. Оттогава всички краища на света, редовно се провеждат конкурси за високоскоростен монтаж куб. Съвременната индустрия се развива бързо озадачава. Постоянно на пазара, нови игри и дизайн публикациите, предназначени да пазят човешкия интелект в добра форма, разработка на логиката, нестандартното мислене да се обучават и да подобри интелектуално ниво като цяло.
В някаква далечна земя Knights винаги казват истината и никога не лъжат, но лъжците винаги само излъгани и никога не каза истината. И сега стигаме до най-интересната задача, тържествено обявен за цар.
А г-н Антъни е присъствал веднъж на корта. Разглежда делото на обвинения в шпионаж. В подсъдимата скамейка седна на три А, В и С, по отношение на които в началото на срещата е било известно само, че един от тях е рицар, а другият е лъжец, а третият е шпионин.
Съдията попита ответника: Вие сте шпионин? И отговорът в едносрични думи ( "да" или "не"). Тогава съдията попита ответник Q: Вярно ли е, какво е казал А? Дадената дума отговор ( "да" или "не"), след което съдията, сочейки към един от ответниците, каза: Ти не си шпионин, са освободени от ареста и да бъде свободен! Той с удоволствие напусна съдебната зала. След това съдията попита един от другите двама на подсъдимата скамейка, ако си съсед шпионин. Той ми отговори в едносрични думи ( "да" или "не"), след което съдията е установено със сигурност, който е бил шпионин.
Въпреки че все още не може да определи кой е шпионин, кралят каза на Алис, са необходими още данни.
Чуйте какво се случи след това.
Г-н Антъни каза за процеса на вашата електронна
Свързани статии