Package org.projog.core.predicate.builtin.construct

package org.projog.core.predicate.builtin.construct
Predicates for inspecting the structure of terms.
  • Classes
    Class
    Description
    Arg
    arg(N,T,A) - allows access to an argument of a structure.
    AtomConcat
    atom_concat(X, Y, Z) - concatenates atom names.
    CopyTerm
    copy_term(X,Y) - makes a copy of a term.
    Functor
    functor(T,F,N)
    NumberVars
    numbervars(Term,Start,End) - unifies free variables of a term.
    TermSplit
    atom_chars / atom_codes / number_chars / number_codes atom_chars(A,L) compares the atom A to the list of characters L. atom_codes(A,L) compares the atom A to the list of character codes L. number_chars(N,L) compares the number N to the list of characters L. number_codes(N,L) compares the number N to the list of character codes L.
    Univ
    X=..L - "univ".