Гамильтонов цикл на Prolog, Гамильтонов цикл на Prolog Опции

[kosyak]

Доброго всем времени суток. Помогите разобраться с задачей: "определение цикла Гамильтона в заданном графе". Язык prolog. Какой может быть алгоритм, где можно об этом попонятней почитать? Может есть уже готовая))) На pascalе бы быстро все сделал, а вот с логическим программированием пока проблемы.

Заранее огромное спасибо.

[volvo]

непонятно

Вот именно... Тебе выводит несколько раз одно и то же, мне не выводит ни одного... Какую цель ставишь?

Код

goal
  gamil(graf([a, b, c, d, e],
       [rebro(a,b), rebro(b, c), rebro(a,d), rebro(d,c), rebro(d,e), rebro(c,e)]), X), write(X).

молчит, как партизан, хотя должен был бы выводить ["a", "b", "d", "c", "e"].