logic-tutorial icon indicating copy to clipboard operation
logic-tutorial copied to clipboard

Zebras puzzle

Open csdrane opened this issue 10 years ago • 1 comments

Overall I found this to be a great introduction to the package. However, I found the final example given to be quite frustrating. It could really benefit from some explanation of how the solution works, rather than just throwing out the code and saying, look what you can do if you study this further! Some of the syntax that it uses appears to be undocumented. Specifically, I think the righto function deserves explanation. Best as I can guess, the period used is related to lcons, which also isn't discussed in the tutorial. Nor are implicit variables. Nor defne. Lastly, I'm somewhat lost on how the recursion is working.

csdrane avatar Nov 21 '14 17:11 csdrane

Recursion work on doing the same thing again and again in the same manner.It is work like just an iteration procedure.But it is not iteration itself.

ashu-22 avatar Jun 17 '17 16:06 ashu-22