Проверка графа на "Visual Prologue 5.2"

Написать программу, которая проверяет, является ли граф гамильтоновым, и если да, то найти гамильтонов цикл. Цикл в графе называется гамильтоновым, если он содержит все вершины графа ровно по одному разу; граф с таким циклом называется гамильтоновым. Работа в среде Visual Prolog 5.2