discuss.visual-prolog.com

Code: Select all

 /*
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 interface
 
class test:test end class
 
implement test
    facts
         optimum:(real*)->real:=erroneous.
end implement
 
 
implement main
     clauses
     run():-
          console::init(),
          succeed(). % place your own code here
end implement main
 
goal
    mainExe::run(main::run).

Code: Select all

facts
    optimum : (real*) -> real.

Code: Select all

facts
    optimum : (real*).