prolog

4зной

1ответ

Эквивалент nvalue/2 от SICStus в SWIProlog

SICStus ручной для библиотеки CLP (FD) говорит: nvalue(?N, +Variables) где Variables список переменных домена с конечными границами или целых, и N является целое число или переменную домена . Истинно,

0зной

1ответ

Prolog POST handler

Я довольно новичок в прологе, и у меня есть проблемы с POST. Это мой пролог форма: `form([action='/game', method='POST'], [ p([], [ label([for=fromX],'From X'), input([name=f

1зной

1ответ

Пролог (Sicstus) - setof и FindAll сочетание вопросы

Учитывая набор маршрутов данная станция имеет, например нас: route(TubeLine, ListOfStations). route(green, [a,b,c,d,e,f]). route(blue, [g,b,c,h,i,j]). ... Я обязан найти имена линий, которые име

0зной

1ответ

Как создать функтор из списка в прологе?

Я новичок в Prolog, и я стараюсь понять некоторые основные вещи. Как правило, я пытаюсь вернуть функтор для данного списка. Этот пример эстафетой и правила, как: %race(_team,_first_runner,_second_runn

0зной

1ответ

Объяснение программы в прологе

У меня есть простая прологовая программа, которая должна писать все факторы выбранного номера. Однако я начинаю думать, что я никогда не смогу научиться прологу. Я просто не понимаю, как работает прог

1зной

2ответ

Пролог (Sicstus) - нечлена и setof вопросы

Учитывая следующие факты: route(TubeLine, ListOfStations). route(green, [a,b,c,d,e,f]). route(blue, [g,b,c,h,i,j]). ... Я обязан найти все пары трубных линий, которые не имеют каких-либо станций

0зной

2ответ

Как я могу выполнить последовательность «If, Else if and Else» в PROLOG?

мне нужно somenthing так: if(list.contains(var)){ //do something }else if(list.contains(anotherVar1)){ //do something }else if(list.contains(anotherVar2)){ //do something }else if(li

0зной

1ответ

Итерационный список в Prolog

Я хотел бы перечислить список в Prolog и записать сгенерированный результат в новый список. С предикатом next_level_segments(List of Start-, Endcoordinates) Я хотел бы рассчитать четыре списка из четы

0зной

1ответ

Почему пролог не распознает аргументы в запросе?

У меня есть эта часть кода как базовый регистр в рекурсивном предикате. riduci_lista_valori([[V, N]],m_var,Lr):- member(V, m_var), Lr =[N]. Проблема заключается в том, что, когда я выполня