Skip to content

Instantly share code, notes, and snippets.

View joyofdata's full-sized avatar

Raffael joyofdata

View GitHub Profile
ascending([]).
ascending([_]).
ascending([H | [ S | T ]]) :-
H < S,
ascending([S | T]),
!.
valid([P1, P2, P3]) :-
ascending(P1),
ascending(P2),