tag:blogger.com,1999:blog-4272753245512225176.post2998519215604722155..comments2023-10-02T10:49:28.278+02:00Comments on programmable life: Adventures In Declarative Programming: Sudoku SolverUnknownnoreply@blogger.comBlogger8125tag:blogger.com,1999:blog-4272753245512225176.post-30258791037725246882021-11-06T00:46:32.706+01:002021-11-06T00:46:32.706+01:00Was there a solution for that ? I try to solve Aka...Was there a solution for that ? I try to solve Akari/light up puzzle also ! Anonymoushttps://www.blogger.com/profile/15937528052198361225noreply@blogger.comtag:blogger.com,1999:blog-4272753245512225176.post-5925663667752336392017-05-10T06:36:44.301+02:002017-05-10T06:36:44.301+02:00I got "false" as well.I got "false" as well. Anonymoushttps://www.blogger.com/profile/02678892268284389548noreply@blogger.comtag:blogger.com,1999:blog-4272753245512225176.post-74690914830952106882016-11-03T10:43:20.100+01:002016-11-03T10:43:20.100+01:00It works fine for me. Note that the code above is ...It works fine for me. Note that the code above is missing a dot at the end of the blocks predicate, if you just copy and pasted the whole thing. Najayehttps://www.blogger.com/profile/15536551183496220722noreply@blogger.comtag:blogger.com,1999:blog-4272753245512225176.post-62860833357049333892016-10-13T06:27:11.708+02:002016-10-13T06:27:11.708+02:00That's pretty great!
However, I was unable to...That's pretty great!<br /><br />However, I was unable to reproduce the result. Possibly something changed in the language or library? Getting "false" for the example now. Same if I replace all cells with "_". Just FYI—don't feel compelled to fix it.johanneshttps://www.blogger.com/profile/16799521305649440421noreply@blogger.comtag:blogger.com,1999:blog-4272753245512225176.post-63442026561310939672016-06-03T09:47:30.286+02:002016-06-03T09:47:30.286+02:00That's interesting !! ... but i think i need a...That's interesting !! ... but i think i need another example to understand the way i should think and solve problems with Prolog, so i am trying to solve Akari/light up puzzle .. but before that am trying to check if a grid of it represent a solution using Prolog, Can you help me please with it.ninalunoreply@blogger.comtag:blogger.com,1999:blog-4272753245512225176.post-34584111722753372622012-07-16T18:05:34.186+02:002012-07-16T18:05:34.186+02:00As I read a few of your blog posts, this seems not...As I read a few of your blog posts, this seems not to be quite what you were thinking about. You're going a level higher on the actual design of the programming language as it seems - quite interesting blog.Anonymoushttps://www.blogger.com/profile/00003414650710075241noreply@blogger.comtag:blogger.com,1999:blog-4272753245512225176.post-88852048095675141972012-07-15T15:00:06.819+02:002012-07-15T15:00:06.819+02:00There are Foreign Language Interfaces for differen...There are Foreign Language Interfaces for different languages, which allow you to write and query Prolog programs from your imperative language.<br /><br />For example for C++ or Java:<br />http://www.swi-prolog.org/pldoc/package/pl2cpp.html<br />http://www.swi-prolog.org/packages/jpl/Anonymoushttps://www.blogger.com/profile/00003414650710075241noreply@blogger.comtag:blogger.com,1999:blog-4272753245512225176.post-61259735369847942112012-07-15T13:55:46.850+02:002012-07-15T13:55:46.850+02:00I find declarative program quite interesting. I...I find declarative program quite interesting. I'm surprised that it was actually able to find the solution so quickly.<br /><br />I wonder if there is any way to introduce declarative concepts in imperative programming. The enginer/compiler are completely different beasts however.Anonymousnoreply@blogger.com