Запитання з тегом «logic-programming»

Я розглядаю можливість створення програми, яка, за своєю суттю, складалася б із тисяч, якби ... тоді ... інших тверджень. Метою програми є можливість передбачити, як корі рухаються в будь-якому ландшафті. На них впливають такі речі, як сонце, вітер, джерело їжі, раптові події тощо. Як можна керувати такою програмою? Я думаю, …

214 design  design-patterns  business-rules  prolog  logic-programming 

Я чув, що логічне програмування може слугувати альтернативою загального призначення іншим парадигмам програмування, таким як ОО або функціональне програмування. (Оскільки Пролог є повним Тьюрінгом, це повинно бути так!) Однак у мене виникають труднощі бачити, як можна було б реалізувати інтерактивну програму, наприклад, просту гральну графічну консоль у Prolog чи подібну …

20 logic-programming 

У мене є сильні інтереси до функціонального та логічного програмування, і Меркурій здається гарним поєднанням двох. Чи взагалі використовується в промисловості? Я один, щоб вивчити мову тільки для задоволення від неї, але було б непогано мати для цього практичні, працездатні шляхи. На мовному веб-сайті я не міг багато знайти в …

13 programming-languages  functional-programming  industry  logic-programming 

Я ще не чув про використання логічної мови програмування (наприклад, Prolog) в індустрії програмного забезпечення, і не знаю як використовувати його в хобі-програмуванні або проектах з відкритим кодом. Він (Prolog) певною мірою використовується як академічна мова (чому він використовується в академічних школах?). Це змушує мене замислитися, чому ви повинні використовувати …

13 programming-languages  paradigms  prolog  logic-programming 

Як навчальна вправа (я не в школі - просто старий хлопець, який намагається навчитися чомусь новому), я намагаюся написати логічне моделювання воріт, яке включає затримку поширення. Користувач також повинен мати можливість групувати ворота разом для створення об'єктів вищого рівня. Я хочу застосувати шаблони дизайну до своєї проблеми, але мені важко. …

9 design-patterns  object-oriented  simulation  logic-programming