No parenthesis, braces, brackets. None. Think about it. <div class="gmail_quote">On Mon, Jan 30, 2012 at 1:43 PM, Theodore H. Smith <<a href="mailto:delete@elfdata.com">delete@elfdata.com</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi everyone, It's my first post here. I was very interested in representing concepts in a formal, computable form. So I asked some questions and found this place! How does attempto handle representing code. Let's say a simple function: int GCD(int a, int b) { // calculates the greatest common divisor of two numbers. if (b > a) { goto b_larger; } while (true) { a = a % b; if (a = 0) return b; b_larger:; b = b % a; if (b = 0) return a; } } How would you describe that in attempto? I think describing code is very important. Doing reasoning about code could achieve many things, the smallest and most obvious of things would be to help eliminate bugs in code ;) Also, could attempto ever get the ability to RUN code? Not just describe code, but run it. I mean, it stands to reason, that if you can describe code, the next step is to give the ability to run it? -- <a href="http://angelcog.org/" target="_blank">http://angelcog.org/</a> "A true logic processing language." (currently under development) _______________________________________________ attempto mailing list <a href="mailto:attempto@lists.ifi.uzh.ch">attempto@lists.ifi.uzh.ch</a> <a href="https://lists.ifi.uzh.ch/listinfo/attempto" target="_blank">https://lists.ifi.uzh.ch/listinfo/attempto</a> </blockquote></div> <div> </div>-- Cell: 703-594-1883 Blog: <a href="http://bradjcox.blogspot.com">http://bradjcox.blogspot.com</a> Web: <a href="http://virtualschool.edu">http://virtualschool.edu</a> Manassas VA 20111