Contents

triangle(Side, Side, Side, "equilateral") :-
    valid_triangle(Side, Side, Side), !.

triangle(SideEq, SideEq, OtherSide, "isosceles") :-
    valid_triangle(SideEq, SideEq, OtherSide), !.

triangle(SideEq, OtherSide, SideEq, "isosceles") :-
    valid_triangle(SideEq, SideEq, OtherSide), !.

triangle(OtherSide, SideEq, SideEq, "isosceles") :-
    valid_triangle(SideEq, SideEq, OtherSide), !.

triangle(Side1, Side2, Side3, "scalene") :-
    valid_triangle(Side1, Side2, Side3).
    

valid_triangle(Side1, Side2, Side3) :-
    Add23 is Side2 + Side3,
    Add12 is Side1 + Side2,
    Add13 is Side1 + Side3,
    not(Side1 > Add23),
    not(Side2 > Add13),
    not(Side3 > Add12),
    Side1 \== 0,
    Side2 \== 0,
    Side3 \== 0.

Version data entries

392 entries across 392 versions & 1 rubygems

Version	Path
trackler-2.2.1.180	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.179	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.178	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.177	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.176	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.175	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.174	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.173	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.172	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.171	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.170	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.169	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.167	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.166	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.165	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.164	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.163	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.162	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.161	tracks/prolog/exercises/triangle/triangle.example
trackler-2.2.1.160	tracks/prolog/exercises/triangle/triangle.example