Tag logic-programming - Это страница 10 - GeneraCodice

Почему я не могу получить ответ на головоломку с зеброй в прологе?

https://www.generacodice.com/ru/articolo/1288943/почему-я-не-могу-получить-ответ-на-головоломку-с-зеброй-в-прологе
  logic  -  prolog  -  logic-programming  -  zebra-puzzle
StackOverflow StackOverflow

Что, если таковые имеются, не так с таким подходом к декларативному вводу/выводу

https://www.generacodice.com/ru/articolo/1158206/что-если-таковые-имеются-не-так-с-таким-подходом-к-декларативному-вводу-выводу
  functional-programming  -  side-effects  -  logic-programming  -  declarative-programming
StackOverflow StackOverflow

Что более интересно или мощно: карри, ртуть или лямбда-пролог?

https://www.generacodice.com/ru/articolo/1139332/что-более-интересно-или-мощно-карри-ртуть-или-лямбда-пролог
  logic  -  prolog  -  logic-programming  -  mercury  -  curry
StackOverflow StackOverflow

Похищение в Asp

https://www.generacodice.com/ru/articolo/1127665/похищение-в-asp
  logic  -  logic-programming  -  answer-set-programming
cs.stackexchange cs.stackexchange

Правильная терминология в теории пролога/логического программирования?

https://www.generacodice.com/ru/articolo/1123814/правильная-терминология-в-теории-пролога-логического-программирования
  terminology  -  programming-languages  -  prolog  -  logic-programming
cs.stackexchange cs.stackexchange

Как реализовать интерпретатор Prolog на чисто функциональном языке?

https://www.generacodice.com/ru/articolo/1109475/как-реализовать-интерпретатор-prolog-на-чисто-функциональном-языке
  functional-programming  -  prolog  -  logic-programming
cs.stackexchange cs.stackexchange

Могут ли проблемы с удовлетворением ограничений быть решены с помощью Prolog?

https://www.generacodice.com/ru/articolo/1096377/могут-ли-проблемы-с-удовлетворением-ограничений-быть-решены-с-помощью-prolog
  logic  -  prolog  -  logic-programming  -  constraint-programming
cs.stackexchange cs.stackexchange

Краткий способ определения нескольких правил в прологе

https://www.generacodice.com/ru/articolo/1085764/краткий-способ-определения-нескольких-правил-в-прологе
  prolog  -  logic-programming  -  clpfd
StackOverflow StackOverflow

Какие системы могут предотвратить подвеску цели на логических языках?

https://www.generacodice.com/ru/articolo/1005653/какие-системы-могут-предотвратить-подвеску-цели-на-логических-языках
  type-systems  -  logic-programming  -  curry
StackOverflow StackOverflow

Пролог: x - дедушка y

https://www.generacodice.com/ru/articolo/1001443/пролог-x-дедушка-y
  prolog  -  logic-programming
StackOverflow StackOverflow
Результаты найдены: 122
scroll top