add factoring example (for WFLP)
add N-Queens example (taken from Curry examples)