×
INTELLIGENT WORK FORUMS
FOR COMPUTER PROFESSIONALS

Contact US

Log In

Come Join Us!

Are you a
Computer / IT professional?
Join Tek-Tips Forums!
  • Talk With Other Members
  • Be Notified Of Responses
    To Your Posts
  • Keyword Search
  • One-Click Access To Your
    Favorite Forums
  • Automated Signatures
    On Your Posts
  • Best Of All, It's Free!

*Tek-Tips's functionality depends on members receiving e-mail. By joining you are opting in to receive e-mail.

Posting Guidelines

Promoting, selling, recruiting, coursework and thesis posting is forbidden.

Students Click Here

How does this add predicate actually work?

How does this add predicate actually work?

How does this add predicate actually work?

(OP)
Hi, I'm trying to teach myself prolog, and have been using learnprolognow.org guide as it seems to be the best available free guide (and my other programming addictions are already expensive enough). Now, it was going fine,  until I reached section 3.1.4. and got to this knowledge base:

CODE

add(0,Y,Y).
add(succ(X),Y,succ(Z)) :-
        add(X,Y,Z).

By tracing it I can understand -what- its doing, using the recursive rule to progressively strip X down to 0, equating Z to Y by the first fact, then going back through all the temporary variables created for Z adding the layers of succ(). And I can somewhat understand how this method could be figured out from the given knowledge, but for the life of me I can't understand how prolog figured it out. Can someone give me some clues as to what prolog's "thought process" was?

Red Flag This Post

Please let us know here why this post is inappropriate. Reasons such as off-topic, duplicates, flames, illegal, vulgar, or students posting their homework.

Red Flag Submitted

Thank you for helping keep Tek-Tips Forums free from inappropriate posts.
The Tek-Tips staff will check this out and take appropriate action.

Reply To This Thread

Posting in the Tek-Tips forums is a member-only feature.

Click Here to join Tek-Tips and talk with other members! Already a Member? Login


Close Box

Join Tek-Tips® Today!

Join your peers on the Internet's largest technical computer professional community.
It's easy to join and it's free.

Here's Why Members Love Tek-Tips Forums:

Register now while it's still free!

Already a member? Close this window and log in.

Join Us             Close