archives

"Next Page" comment links not working

Say for example, http://lambda-the-ultimate.org/node/4535#comment-73053, it loads the first page, and can't jump to the comment because its on the second page.

By Sean McDirmid at 2012-10-19 02:47 | Site Discussion | 9 comments | other blogs | 7270 reads

The Terms language

I have been working on a logic programming language
that I have published here [1].
In my opinion, it has a potential expressive power
superior to that of other logic languages I have studied [2],
it can reason efficiently (polynomial time),
and it is mathematically very simple (first order theory with a finite model).

I guess I must be wrong, but where am I wrong?

1.- http://pypi.python.org/pypi/Terms/
2.- prolog, CLIPS (+ COOL), the semantic web OWLs, and various offshots of those

By Enrique Perez Arnaud at 2012-10-19 15:38 | LtU Forum | 10 comments | other blogs | 6099 reads