antiguabarbuda.pl

PRl教学程序 PRl教学程序 PRl教学程序

/********************************************************************
    Constraint-based Graphical Programming in B-Prolog
    %
    Drawing the flag of AntiguaAndBarbuda
*********************************************************************/
go:-
    antigua(Os),
    cgJava(antiguabarbuda,Os).

antigua([R,TR1,S,TR2,TR3]):-
    cgRectangle(R), R^color #= red, 2*R^width #= 3*R^height,

    cgTriangle(TR1), TR1^color #= black, 
    TR1^x1 #= R^x, TR1^y1 #= R^y,
    TR1^x2 #= R^x+R^width, TR1^y2 #= TR1^y1,
    TR1^x3 #= R^x+R^width/2, TR1^y3 #= R^y+R^height,

    cgStar(S), S^color #= yellow, S^n #= 16,
    S^centerX #= R^x+R^width/2,
    35*S^diameter #= 24*R^height,
    7*S^innerDiameter #= 2*R^width,
    
    cgTriangle(TR2), TR2^color #= blue,
    210*(TR2^x1-R^x) #= 41*R^width,
    28*(TR2^y1-R^y) #= 11*R^height,
    TR2^y1 #= S^centerY,
    210*(TR2^x2-R^x) #= 169*R^width,
    TR2^y2 #= TR2^y1,
    TR2^x3 #= TR1^x3, TR2^y3 #= TR1^y3,
    
    cgTriangle(TR3), TR3^color #= white,
    10*(TR3^x1-R^x) #= 3*R^width,
    28*(TR3^y1-R^y) #= 17*R^height,
    10*(TR3^x2-R^x) #= 7*R^width, 
    TR3^y2 #= TR3^y1, 
    TR3^x3 #= TR1^x3, TR3^y3 #= TR1^y3.