/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | database-sec.tex | 180 relation. This can either be an atom or a variable depending 187 than 31 characters. When the relation is to be temporary a variable is used 262 values need not be specified (use a free variable instead). 286 and the second a variable. The variable then becomes instantiated to 315 hand side is a variable, or to find the real name of a relation 316 whose synonym is known if the left hand side is a variable. 411 and if it is a variable then \eclipse generates its own name for the relation. 738 and Number is returned as an uninstantiated variable. 983 and when a matching tuple is found the variable wil [all...] |
H A D | knowbase-sec.tex | 143 \item The {\bf Relation\_Name} can be either an atom or a variable 214 variable Arity) of the specified relation. 302 be a variable at the time of calling, and will get instantiated to 348 for the name of the variable. 568 be an atom or a variable. An atom will be used as the name of 569 a permanent relation, while a variable will result in the system 651 If, on the other hand, the attribute is a variable (e.g. {\bf Day} or
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | paddy.pl | 41 variable(bounds), 42 variable(index), 43 variable(clause_id), 44 variable(source_files), 45 variable(progsize), 46 variable(temp), 47 variable(many_patterns), 48 variable(name_count), 49 variable(prune), 50 variable(pattern_coun [all...] |
H A D | matrix_util.pl | 190 !, % if called with a variable
|
H A D | setof.pl | 121 % free variable bindings, and thus are cheaper to partition into variants. 132 % The general form, where free variable bindings can be attributed vars.
|
H A D | source_storage.pl | 199 printf(error, "*** possible problem: variable goal in %w\n%b", [Goal]). 238 printf(error, "*** possible problem: variable goal in %w\n%b", [Term]), 239 Vars = []. % wrong: metacalled variable 254 check_arg('$ARG'(N0), _Targ, N0, N, Vars, Vars) :- !, N is N0+1. % new variable
|
H A D | asm.pl | 66 % label(<variable>) variable should not occur in other labels 71 % ref(<variable>) reference (refers to a label(<variable>)) 76 % named variable or 79 % y(N) permanent variable N 80 % t(N) temporary variable N 92 % vmask is a list of int, where each int is a variable to be initialised. 96 % representing the name of the variable to be initialised. First element 419 y(Y) permanent variable [all...] |
H A D | lists.pl | 528 args:["Odds":"List or variable", 529 "Evens":"List or variable", 623 args:["List":"A list", "Reordered":"A variable or list"], 673 args:["?Element" : "Prolog term.", "?List1" : "List or variable.", "?List2" : "List or variable."], 728 args:["?Element" : "Prolog term.", "?List1" : "List or variable.", "?List2" : "List or variable."], 756 elements and variable elements should not be used in the lists. 758 args:["+List1" : "List.", "+List2" : "List.", "?Common" : "List or variable."], 795 args:["?List" : "List or variable [all...] |
H A D | events.pl | 208 ?- local variable(autoload_lock). 325 "WARNING: creating local variable(%w) in %w while there exists one in %w%n", 352 make_array_args(local(variable(Array)), Array, prolog, local) :- !. 353 make_array_args(local(variable(Array,_)), Array, prolog, local) :- !. 354 make_array_args(global(variable(Array)), Array, prolog, global) :- !. 568 "*** Warning: Singleton local variable %a in do-loop (not used in loop body)%n", 572 "*** Warning: Singleton local variable %a in do-loop, maybe param(%a) missing?%n", 1122 % is neither a number nor a free variable. 1692 % Only modify this variable while event handling is deferred! 1693 % After modifying the variable, cal [all...] |
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsarith.tex | 56 is an uninstantiated variable or a number. 487 At most one of \about{X}, \about{Y} can be a variable. 491 \about{X}, \about{Y}, \about{Z} can be a variable. 495 \about{X}, \about{Y}, \about{Z} can be a variable. 501 can be a variable which is then instantiated so that the relation holds. 504 Note that if one of the first two arguments is a variable, 514 Since any one of the arguments of these two predicates can be a variable,
|
H A D | umsmacros.tex | 142 variable which the transformation predicate should bind to the transformed 150 argument is passed in as a free variable, and the transformation should not 347 variable names, and source position annotations for all subterms. 417 a variable, and the predicate must not bind the transformed annotated term. 511 term or variable), the terminals are lists of prolog terms (typically
|
H A D | umssyntax.tex | 332 \index{attributed variable} 665 variable attributes in curly braces. 722 Subscripted variable X[...] subscript(X, [...]) default 725 Attributed variable X{...} 'with attributes'(X, [...]) default 730 variable, \notation{S} for a compound term in canonical syntax, \notation{f} for
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | introduction.tex | 151 associated with any variable \cite{cp99wkshoptalk}. 152 This tentative value may violate constraints on the variable, in which 156 Using invariants, if a variable's tentative
|
H A D | extpropia.tex | 200 only in the variable domains, but also in the unification of problem 272 the call to \verb0product0. In short, for each variable in the input 345 library is loaded, and the constraint has only one remaining variable. 516 In this case the Propia constraint wakes up each time a variable in
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | solversintro.tex | 237 associated with any variable \cite{cp99wkshoptalk}. 238 This tentative value may violate constraints on the variable, in which 242 Using invariants, if a variable's tentative
|
/barrelfish-master/usr/eclipseclp/documents/applications/ |
H A D | tutorial.tex | 164 Examples of the first type (see figure~\ref{fullapplication}) are Parc Technologies applications (http://www.parc-technologies.com) like AirPlanner\index{AirPlanner} and RiskWise\index{RiskWise}\footnote{In the following we use a number of examples from the RiskWise application. It is a network analysis tool for IP networks, which uses a constraint solver to determine traffic pattern in the network. If this doesn't make any sense to you, relax. An understanding of the networking application domain is not required to follow this tutorial.}, where everything except the problem solver is developed in Java\index{Java} or related tools. The interface between the main application and the problem solver written in ECLiPSe is via a Java-ECLiPSe interface. In this interface, the main application poses queries for the ECLiPSe solver, passing data and arguments into ECLiPSe. The problem solver then runs the query and returns results as variable bindings in the given query. The Java side only knows about these queries, their data format and the expected results. The internals of the solver, how the queries are resolved, is completely hidden. This defines a nice interface between the application parts, as long as the queries are well defined and documented. Once that design is frozen, the developers for the different parts can continue development independently from each other, using stubs or dummy routines to simulate the other application parts. 234 \item[create variables] This is followed by the variable generation, where we create all variables that will be used in the solver. These variables will simply be placed in slots already provided in the data structures. 329 Variable names \index{variable name}\index{name, variable}are of form [A-Z\_][a-zA-Z]*[0-9]* . Separate words start with capital letters. Digits should only be used at the end. Words should be English. If a variable occurs only once in a clause, then its name should start with an underscore\index{underscore}. This marks it as a {\it singleton variable}\index{singleton variable}, and stops compiler warnings about the single occurrence of a variable. If a variable occurs more than once in a clause, then its name should not start with an underscore. 501 \index{placeholder variables}If we do not specify a fixed attribute value when the named structure is created, then its value will be a free variable whic [all...] |
/barrelfish-master/usr/eclipseclp/Opium/ |
H A D | loadopium.pl | 32 /* to avoid seeing the singleton variable checkings */
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | ecoptions.tex | 38 taken from the registry entry or from the ECLIPSEDIR environment variable.
|
H A D | embsumc.tex | 98 creates a fresh {\eclipse} variable. 121 If a variable was encountered instead INSTANTIATION_FAULT is returned. 177 checks whether the {\eclipse} pword is a variable. 201 a freshly created {\eclipse} variable. 481 Lookup the value of the variable with the given name.
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | occur.pl | 39 % Expression. NB: if the Expression contains an unbound variable, 48 functor(Expression, _, Arity), % can't be a variable!
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic_probe.pl | 33 :- local variable(probect). 120 Cost - A variable, to be minimised during search 224 "Cost" :"A cost variable", 226 "Handle" :"A variable which will record the handle of the matrix
|
H A D | probe.pl | 33 :- local variable(probect). 119 Cost - A variable, to be minimised during search 223 "Cost" :"A cost variable", 225 "Handle" :"A variable which will record the handle of the matrix
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | toolbox.pl | 182 * Define a variable selection predicate which looks as 249 % For manual variable selection
|
H A D | prop.pl | 34 % Deamon on the labelled variable 244 % Display the sequence of updates of a specified variable 266 % Make a list of all nodes which have modified the given variable
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | ech.pl | 54 :- local variable(chr_priority, 9). 177 :- local variable(constraint_number, 0). 1022 % Before the guard (Goal) is called, a 'fail' is attached to every variable 1050 % check if guard can possibly cause the constraining of any variable 1092 % check if guard can possibly cause the constraining of any variable 1802 % list is terminated by a variable. Find it 1890 new_chr_attr(X, Attr, Module) :- % make a new chr-variable 2252 % variable's slists. This will cause multi-head rules to fire which, as a 2256 % vars have in common). Waking a single variable's lists should be 2341 /* add an existing chrstore from one variable t [all...] |