Searched refs:variable (Results 101 - 125 of 198) sorted by relevance

12345678

/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Ddatabase-sec.tex180 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 Dknowbase-sec.tex143 \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 Dpaddy.pl41 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 Dmatrix_util.pl190 !, % if called with a variable
H A Dsetof.pl121 % 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 Dsource_storage.pl199 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 Dasm.pl66 % 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 Dlists.pl528 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 Devents.pl208 ?- 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 Dumsarith.tex56 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 Dumsmacros.tex142 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 Dumssyntax.tex332 \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 Dintroduction.tex151 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 Dextpropia.tex200 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 Dsolversintro.tex237 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 Dtutorial.tex164 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 Dloadopium.pl32 /* to avoid seeing the singleton variable checkings */
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Decoptions.tex38 taken from the registry entry or from the ECLIPSEDIR environment variable.
H A Dembsumc.tex98 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 Doccur.pl39 % 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 Dic_probe.pl33 :- 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 Dprobe.pl33 :- 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 Dtoolbox.pl182 * Define a variable selection predicate which looks as
249 % For manual variable selection
H A Dprop.pl34 % 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 Dech.pl54 :- 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...]

Completed in 136 milliseconds

12345678