اكتب برنامجاً بلغة الـ Prolog لحل اللغز التالي:
ليكن لدينا 7 أحجار مصفوفة في صف.
وليكن لدينا 6 ضفادع, 3 منها باللون الأخضر و 3 باللون البني, حيث أنه الضفادع الخضر جالسة فوق الأحجار الثلاثة الأولى (من اليسار), أما الضفادع البنية جالسة فوق الأحجار الثلاثة الأخيرة,
والمطلوب:نقل كل من الضفادع الخضر والضفادع البنية إلى الجهة المعاكسة, من خلال القفز فوق بعضها.
يستطيع الضفدع القفز فقط إذا كان يوجد أمامه مباشرة حجرة حرّة أو إذا كان بينه وبين الحجرة الحرّة ضفدع واحد فقط.
الضفادع الخضر لا تستطيع القفز إلا إلى جهة اليمين, أما الضفادع البنية لا تستطيع القفز إلا إلى جهة اليسار.
ملاحظة: المطلوب إيجاد جميع الحلول الممكنة لحل هذا اللغز علماّ بأنه يوجد حلين مختلفين فقط.
يمكن تمثيل الأحجار السبعة بسبع أرقام (7, 6, 5, 4, 3, 2, 1) ولتمثيل الحل نكتفي بإيجاد تسلسل أرقام الأحجار التي يتم القفز منها.