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

21 hours 50 min ago

1 day 3 hours ago

1 day 4 hours ago

1 day 4 hours ago

1 day 20 hours ago

1 day 21 hours ago

2 days 21 hours ago

2 days 22 hours ago

5 days 6 hours ago

5 days 11 hours ago