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

## Recent comments

5 hours 29 min ago

5 hours 40 min ago

1 day 11 hours ago

6 days 18 hours ago

1 week 1 day ago

2 weeks 5 days ago

3 weeks 4 days ago

4 weeks 4 days ago

6 weeks 2 days ago

6 weeks 5 days ago