search

mlliarm / particleslogic

A Prolog application of basic interactions between elementary particles.
GNU General Public License v3.0
9 stars 0 forks source link

Test the backwards function of the possible_interaction_first_level rule #14

Open mlliarm opened 4 years ago

mlliarm commented 4 years ago

For some reason queries such:

?- possible_interaction_first_level([lambda, proton],[A, B, C]), write('\n'), A \= B, B \= C, C \= A.
?- possible_interaction_first_level([lambda],[A, B, C]), write('\n'), A \= B, B \= C, C \= A.
?- possible_interaction_first_level([tau],[A, B, C]), write('\n'), A \= B, B \= C,  C \= A.

don't produce unique triplets of (A,B,C).

Why?

This is the reason I don't mention at all in the README.md this capability of this rule.