reversible “binary to number” predicate

by

Use CLP(FD) constraints, for example:

:- use_module(library(clpfd)).

binary_number(Bs0, N) :-
        reverse(Bs0, Bs),
        foldl(binary_number_, Bs, 0-0, _-N).

binary_number_(B, I0-N0, I-N) :-
        B in 0..1,
        N #= N0 + B*2^I0,
        I #= I0 + 1.

Example queries:

?- binary_number([1,0,1], N).
N = 5.

?- binary_number(Bs, 5).
Bs = [1, 0, 1] .

?- binary_number(Bs, N).
Bs = [],
N = 0 ;
Bs = [N],
N in 0..1 ;
etc.

More Related Contents:

  1. Most general higher-order constraint describing a sequence of integers ordered with respect to a relation
  2. Using a constrained variable with `length/2`
  3. What is the difference between ‘ and ” in Prolog?
  4. Definition of Reflexive Transitive Closure
  5. Delete vowels in a list
  6. Reification of term equality/inequality
  7. Prolog successor notation yields incomplete result and infinite loop
  8. Finding Unique Items in a List
  9. Prolog: a person is a sibling of himself?
  10. What is the logical ‘not’ in Prolog?
  11. Einsteins Riddle Prolog
  12. Safer type tests in Prolog
  13. Complexity of ISO Prolog predicates
  14. Faster implementation of verbal arithmetic in Prolog
  15. Explanation of a Prolog algorithm to append two lists together
  16. list of the values in the leaf nodes of binary tree T
  17. Meaning of instantiation mode indicators in arguments of Prolog predicates
  18. Shuffle in prolog
  19. Splitting a list of integers into a list of positive integers and a list of negative integers
  20. Collect all “minimum” solutions from a predicate
  21. Using \==/2 or dif/2
  22. Converting Terms to Atoms preserving variable names in YAP prolog
  23. Knowing when to use cut in prolog
  24. Good beginners material on Prolog [closed]
  25. ‘if’ in prolog?
  26. Should I avoid tail recursion in Prolog and in general?
  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