prolog - Prolog で線形計画法を解く

Question

http://www.zweigmedia.com/RealWorld/tutorialsf4/framesLinProGr.htmlで最初の線形計画問題の例を解決しようとしています。X と Y はゼロまたは正数で、合計は 50 まで、2X+Y は 60 までです。関数 X+3Y は最大化する必要があります。

私は次のコードを使用しています：

mysol2(X,Y,Z):-
    X in 0..sup,  % Error: Syntax error: Operator expected
    Y in 0..sup,
    X + Y =< 50,
    2 * X + Y =< 60,
    Z is max(X + 3*Y).

ただし、読み込まれません (上記のエラーが表示されます)。

次のコードで：

mysol2(X,Y,Z):-
    X >= 0,
    Y >= 0,
    X + Y =< 50,
    2 * X + Y =< 60,
    Z is max(X + 3*Y).

プログラムはロードされますが、実行中:

ERROR: >=/2: Arguments are not sufficiently instantiated

これらのエラーを修正するにはどうすればよいですか?