ktp-forked-repos / prolog_frog Goto Github PK

This project forked from xiaonanchong/prolog_frog

The aim of this exercise is to give you an introduction to the basics of the Sicstus clpfd library for CLP(FD). You will write a CLP(FD) program to solve a puzzle, and then compare it to a pure Prolog program for the same task. The puzzle involves arranging nine cards, so that the coloured frogs printed on them all line up with one another. You are provided with a sketch of a CLP(FD) solution. The puzzle and the solution were provided by Frank Kriwaczek.