Term manipulation utilities

(True) Usage:term_size(Term,N)

Determines the size of a term.

• The following properties should hold at call time:
  (basic_props:term/1)Term is any term.
  (basic_props:nnegint/1)N is a non-negative integer.

Test:term_size(A,B)

• If the following properties hold at call time:
  (term_basic:= /2)term_basic:A=p(a,b,c(d,e))
  then the following properties should hold upon exit:
  (term_basic:= /2)term_basic:B=6

Test:term_size(A,B)

• If the following properties hold at call time:
  (term_basic:= /2)term_basic:A=p(a,b,c(d,_909219))
  then the following properties should hold upon exit:
  (term_basic:= /2)term_basic:B=6

Test:term_size(A,B)

• If the following properties hold at call time:
  (term_basic:= /2)term_basic:A=[1,2,3]
  then the following properties should hold upon exit:
  (term_basic:= /2)term_basic:B=7

Usage:copy_args(N,Term,Copy)

Term and Copy have the same first N arguments.

• The following properties should hold at call time:
  (basic_props:nnegint/1)N is a non-negative integer.

Trust:copy_args(N,Term,Copy)

• If the following properties hold at call time:
  (term_typing:ground/1)N is currently ground (it contains no variables).
  (term_typing:nonvar/1)Term is currently a term which is not a free variable.
  then the following properties hold globally:
  (basic_props:eval/1)copy_args(N,Term,Copy) is evaluable at compile-time.

Trust:copy_args(N,Term,Copy)

• The following properties hold globally:
  (basic_props:sideff/2)copy_args(N,Term,Copy) is side-effect free.

Usage:arg(Term,Arg)

Arg is an argument of Term. Gives each of the arguments on backtracking.

Atm is the atom resulting from concatenating all atoms in the list Atms in the order in which they appear. If Atm is an atom at call then Atms can contain free variables.

Usage 1:atom_concat(Atms,Atm)

• The following properties should hold at call time:
  (basic_props:list/2)Atms is a list of atms.
• The following properties should hold upon exit:
  (basic_props:atm/1)Atm is an atom.

Usage 2:atom_concat(Atms,Atm)

• Call and exit should be compatible with:
  (basic_props:list/2)Atms is a list of atms.
• The following properties should hold at call time:
  (basic_props:atm/1)Atm is an atom.
• The following properties should hold upon exit:
  (basic_props:list/2)Atms is a list of atms.

Test:atom_concat(A,B)

• If the following properties hold at call time:
  (term_basic:= /2)term_basic:A=[a,b,c]
  then the following properties should hold upon exit:
  (term_compare:== /2)The terms B and abc are strictly identical.

Test:atom_concat(X,Y)

atom_concat that generates several solutions.

• If the following properties hold at call time:
  (term_basic:= /2)term_basic:X=[a,B|C]
  (term_basic:= /2)term_basic:Y=abcde
  then the following properties should hold upon exit:
  (basic_props:member/2)B,C is an element of [(,[b,c,d,e]),(,[b,c,de]),(,[b,cd,e]),(,[b,cde]),(,[bc,d,e]),(,[bc,de]),(,[bcd,e]),(,[bcde]),(b,[c,d,e]),(b,[c,de]),(b,[cd,e]),(b,[cde]),(bc,[d,e]),(bc,[de]),(bcd,[e]),(bcde,[])].

Test:atom_concat(X,Y)

atom_concat that generates several solutions.

• If the following properties hold at call time:
  (term_basic:= /2)term_basic:X=[a,B|C]
  (term_basic:= /2)term_basic:Y=abcde
  then the following properties should hold globally:
  (native_props:solutions/2)Goal atom_concat(X,Y) produces the solutions listed in [atom_concat([a,,b,c,d,e],abcde),atom_concat([a,,b,c,de],abcde),atom_concat([a,,b,cd,e],abcde),atom_concat([a,,b,cde],abcde),atom_concat([a,,bc,d,e],abcde),atom_concat([a,,bc,de],abcde),atom_concat([a,,bcd,e],abcde),atom_concat([a,,bcde],abcde),atom_concat([a,b,c,d,e],abcde),atom_concat([a,b,c,de],abcde),atom_concat([a,b,cd,e],abcde),atom_concat([a,b,cde],abcde),atom_concat([a,bc,d,e],abcde),atom_concat([a,bc,de],abcde),atom_concat([a,bcd,e],abcde),atom_concat([a,bcde],abcde)].

Test:atom_concat(X,Y)

• If the following properties hold at call time:
  (term_basic:= /2)term_basic:X=[A,b,C]
  (term_basic:= /2)term_basic:Y=abc
  then the following properties should hold upon exit:
  (term_compare:== /2)The terms A and a are strictly identical.
  (term_compare:== /2)The terms C and c are strictly identical.

Test:atom_concat(X,Y)

• If the following properties hold at call time:
  (term_basic:= /2)term_basic:X=[A,b,]
  (term_basic:= /2)term_basic:Y=ab
  then the following properties should hold upon exit:
  (term_basic:= /2)term_basic:A=a