🚀 go-pugleaf

After all the discussion I started with my question on IF...THEN...ELSE in
Prolog without using the Cut I think I should give all of you some more
information.

I don't like you all to think I can't do my homework myself. But this problem
I posted isn`t my homework. I do not have any experience in programming Prolog
and, to be honest, I'm also not interested in it, too. The only thing I'm
interested in is pure first-order-logic with functional symbols. I only thought
of Prolog to test the expressive power of this pure logic, in which I'm
interested in as a side effect. It's not the main topic I'm working on.
You can regard it as one very interesting example used in my work.

If it seems to be such a stupid question that some of you thought of a student
searching for someone to do his homework, why isn't there such an easy answer?
All the answers are quite interesting but the don't solve the problem.
As far as I know Prolog is turing-complete and the proofs I know don't use
the Cut. So why isn't it possible to solve this problem im Prolog?

If you still think I want you to do my homework try not to answer. Perhaps
some of you are friendly enough to do though. But remember the predicate a
isn't defined only using built-in comparisons like <.

Michael

-- 
Michael Meskes, Lehrstuhl fuer angewandte Mathematik insb. Informatik,
RWTH-Aachen, Ahornstr. 55, D-W-5100 Aachen
Email: meskes@ulysses.informatik.rwth-aachen.de