/*
interface test
domains
optimum_function = (real*)->real.
properties
optimum:optimum_function.
end interface
class test:test end class
implement test
facts
optimum:optimum_function:=erroneous.
end implement
*/interface test
properties
optimum:(real*)->real.
end interfaceclass test:testend classimplement test
facts
optimum:(real*)->real:=erroneous.
end implementimplement main
clauses
run():-
console::init(),
succeed(). % place your own code hereend implement main
goal
mainExe::run(main::run).