×
INTELLIGENT WORK FORUMS
FOR COMPUTER PROFESSIONALS

Are you a
Computer / IT professional?
Join Tek-Tips Forums!
• Talk With Other Members
• Be Notified Of Responses
• Keyword Search
Favorite Forums
• Automated Signatures
• 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.

# Prolog looping due to interdependency

## Prolog looping due to interdependency

(OP)
Have to write some prolog rules to represent the geometrical properties about isosceles triangle.

First rule is to say

#### CODE -->

angleEqual(angle(A,B,C),angle(A,C,B)):-
triangle(A,B,C),
lineEqual(line(A,B),line(A,C)). 

Second rule says

#### CODE -->

lineEqual(line(A,B),line(A,C)):-
triangle(A,B,C),
angleEqual(angle(A,B,C),angle(A,C,B)). 

But the two rules together will cause a interdependency and prolog is looping forever if given facts such as

#### CODE -->

triangle(a,b,c).
lineEqual(line(a,b),line(a,c)). 

#### CODE

?- angleEqual(A,B).

Any idea? Thanks very much.

#### 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.

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:

• Talk To Other Members
• Notification Of Responses To Questions
• Favorite Forums One Click Access
• Keyword Search Of All Posts, And More...

Register now while it's still free!