cryptarithmetic puzzle - Need assistance with similar More Money code for Prolog -


every letter below in puzzle uniquely represent 1 of 10 digits in 0, 1, …, 9. no 2 letters represent same digit. each word below in puzzle, first letter not 0.

ex: shine - == knit

all i've got code this...

:- lib(ic).  exampleone(list) :-     list = [s, h, i, n, e, t, a, k],     list :: 0..9,     diff_list(list),     (10000*s - 1000*h - 100*i - 10*n - e)     - (1000*t - 100*h - 10*a - n)     $= (1000*k - 100*n - 10*i - t),     s $\= 0, t $\= 0, k $\= 0,     shallow_backtrack(list).  shallow_backtrack(list) :-     ( foreach(var, list) once(indomain(var)) ).  diff_list(list) :-     ( fromto(list, [x|tail], tail, [])           ( fromto(y, tail, param(x)               x $\= y           )     ).  comparelists(list) :-     length(list, n),     ( foreach(input1, list), count(i, 1, n), param(n, list)                      ( foreach(input2, list), count(j, 1, n), param(list, input1, i, n)                                         ( ( $\= j, input1 $\= input2 )                             -> true;                             fail                       )              )      ).

i'm kinda stuck on part. when ran code without comparelists(list) function, result gives me "no". when added comparelists(list) function, answer still gives me "no". wondering if "no" right answer or did write wrong in code? appreciated. thanks!

thanks!

almost minuses in model (except one) must pluses. if there minus sign in 'shine - than', shine still (10000*s + 1000*h + 100*i + 10*n + e) - it's simple math.

also no need reinvent standard predicates alldifferent (named diff_list in code) , labeling (named shallow_backtrack in code). not program has lot of unneeded code, standard predicates more efficient in many situations , more flexible.

here complete corrected program uses standard ic library predicates:

:- lib(ic).  exampleone(list) :-     list = [s, h, i, n, e, t, a, k],     list :: 0..9,     alldifferent(list),     (10000*s + 1000*h + 100*i + 10*n + e)     - (1000*t + 100*h + 10*a + n)     $= (1000*k + 100*n + 10*i + t),     s $\= 0, t $\= 0, k $\= 0,     labeling(list).

-

Comments

Post a Comment

Popular posts from this blog

how to proxy from https to http with lighttpd -

i have internal site (192.168.2.1) accessible http on different server run public web-server using lighttpd. can make internal site accessible outside work follows $http["host"] == "internal.example.com" { ... proxy.server = ( "" => ( "internal" => ( "host" => "192.168.2.1", "port" => 8000 ) ) } this works, use https outside world. question is, how can proxy going https http ? i've tried this: $server["socket"] == ":443" { $http["host"] == "internal.example.com" { ... proxy.server = ( "" => ( "internal" => ( "host" => "http://192.168.2.1", "port" => 8000 ) ) } } but doesn't seem wor...
Read more

android - Automated my builds -

i have multiple app , android project want automated in build , release sequence. have ant script build , create apk of app. want have 1 script or ant file start build sequence app. maybe don't konw search, can't find easy documentation on ant. the point of use jenkins ant (or maven, i'm not sure of difference between them now) automated build sequence when people commit on project. any int appreciated maven dependencies (over ant) don't need pass around jars. recommend maven on ant day. syntax , overall process easier understand, @ end of both build tools. if able to, more recommend upgrading gradle. easy create different build types , create them ./gradlew assemble here project jake wharton can see power of gradle. there release , debug build, can make lot more if like. https://github.com/jakewharton/u2020 here android docs gradle http://tools.android.com/tech-docs/new-build-system/user-guide . if can't find looking here, check out main grad...
Read more

python - Flask migration error -

i've got application build on flask , wanted create new migration today. when run $python manage.py db upgrade i got message raise util.commanderror('only single head supported. ' alembic.util.commanderror: single head supported. script directory has multiple heads (due branching), must resolved manually editing revision files form linear sequence. run alembic branches see divergence(s). so run command $alembic branches no config file 'alembic.ini' found, or file has no '[alembic]' section any clue on about? the error messages coming alembic, use command form alembic <command> , integrating flask coming flask-migrate, need use form python manage.py db branches . to resolve multiple branches, make 1 of branches point down other branch upgrade graph straight line. see alembic's docs on branches: http://alembic.readthedocs.org/en/latest/branches.html
Read more