Most general higher-order constraint describing a sequence of integers ordered with respect to a relation

by

Hoogle was not very useful, but Hayoo is!

foldcmpl

so this is a special form of fold for a list, but it does not apply length list times but one time less.

isSortedBy

is not entirely general in its name, but in its signature. Maybe insisting on the most general name is not that helpful. Otherwise we just have entities all over?

The definition reads:

The isSortedBy function returns True iff the predicate returns true for all adjacent pairs of elements in the list.

Maybe: all_adjacent_pairs(R_2, Xs). which sounds a bit after having a looping construct that has adjacent_pair as some modifier.

More Related Contents:

  1. Prolog map procedure that applies predicate to list elements
  2. Definition of a path/trail/walk
  3. Definition of Reflexive Transitive Closure
  4. Using a constrained variable with `length/2`
  5. reversible “binary to number” predicate
  6. Collect all “minimum” solutions from a predicate
  7. Delete vowels in a list
  8. Reification of term equality/inequality
  9. Prolog successor notation yields incomplete result and infinite loop
  10. Finding Unique Items in a List
  11. Prolog: a person is a sibling of himself?
  12. What is the logical ‘not’ in Prolog?
  13. Find powers of 2 in a list Prolog
  14. Stack overflow in Prolog DCG grammar rule: how to handle large lists efficiently or lazily
  15. Einsteins Riddle Prolog
  16. Safer type tests in Prolog
  17. Complexity of ISO Prolog predicates
  18. Faster implementation of verbal arithmetic in Prolog
  19. Explanation of a Prolog algorithm to append two lists together
  20. list of the values in the leaf nodes of binary tree T
  21. Shuffle in prolog
  22. Splitting a list of integers into a list of positive integers and a list of negative integers
  23. Using \==/2 or dif/2
  24. Converting Terms to Atoms preserving variable names in YAP prolog
  25. Good beginners material on Prolog [closed]
  26. Prolog append with cut operator
  27. Define graph in Prolog: edge and path, finding if there is a path between two vertices
  28. Can you write between/3 in pure prolog?
  29. PROLOG: Determining if elements in list are equal if order does not matter
  30. GNU Prolog assert error

Leave a Comment