Section 1 - Clauses, Types and Rules
and
fixedCost ?prd ?fc\
marginalCost ?prod ?mc\
inInterval ?vol 0 100 10\
is ?totalCost ?fc + ?vol * ?mc
If you have not already seen the debugger, try it now. Evaluate the following.
and
fixedCost ?prod ?fc\
marginalCost ?prod ?mc\
inInterval ?vol 0 100 10\
is ?totalCost ?xxx + ?vol * ?mc
If you try this version you will get an SDML Experimentation Debugger displaying the line it had a problem with and also the current bindings of the variables at the bottom right. The debugger looks like this:
As it would be impossible to list all the possible bindings of the clause is ?totalCost ?xxx + ?vol * ?mc for ?xxx as well as ?totalCost being unknown (being an infinite number of them!), the syntax for primitives such as is is restricted so certain variables have to be known already (such as ?vol above), these are called instantiated variables.
Close the debugger window. Using clauses such as those above as well as any of the clauses you find listed in the Database page in the browser, try to get some of the following results using the Experiment page.
Generated with CERN WebMaker