myjob1.pro

Visual Prolog 7.1的一些学习资料,希望对您有用

/*****************************************************************************

                        Copyright (c) Prolog Development Center A/S

******************************************************************************/

implement myJob1
    open core

constants
    className = "myBusiness/myJob1".
    classVersion = "$JustDate: 2007-04-20 $$Revision: 4 $".

clauses
    classInfo(className, classVersion).

class facts
    nextId : unsigned := 1.
clauses
    myJob1(X, Y) :-
        J = myJob1::new(nextId, X, Y),
        nextId := nextId+1,
        _Thread = bgSynchronizer::startJob(J).

facts
    id : unsigned.
    x : unsigned.
    y : unsigned.

clauses
    new(Id, X, Y) :-
        id := Id,
        x := X,
        y := Y.

facts
    theResult : integer := erroneous.

clauses
    job() :-
        bgSynchronizer::writef("starting myJob1 (JobID = %)\n", id),
        theResult := 0,
        S = std::fromTo(1, convert(integer, y)),
        add(x),
        bgSynchronizer::writef("    % (: JobID) step % gives %\n", id, S, theResult),
        fail().
    job().

predicates
    add : (unsigned Add).
clauses
    add(Add) :-
        _ = std::fromTo(1, Add),
        theResult := theResult+1,
        fail().
    add(_Add).

clauses
    result() :-
        stdIO::writef("% (: JobID) % multiplied with % is % \n", id, x, y, theResult).

end implement myJob1