% library(win_menu) compiled into win_menu 0.00 sec, 30 clauses Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 6.0.

2) Copyright (c) 1990-2011 University of Amsterdam, VU Amsterdam SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). 1 ?% c:/Users/Rosa/AppData/Local/Temp/xpce2 compiled 0.00 sec, 13 clauses Warning: d:/vero!!/2012-2/2012-2/ejercicios.pl:1: Redefined static procedure es_vuelo/2 % d:/VERO!!/2012-2/2012-2/ejercicios.pl compiled 0.00 sec, 13 clauses Warning: c:/users/rosa/appdata/local/temp/xpce3:1: Redefined static procedure es_vuelo/2 % c:/Users/Rosa/AppData/Local/Temp/xpce3 compiled 0.00 sec, 13 clauses 1 ?| es_vuelo(crdoba, santa_rosa). true. 2 ?- es_vuelo(santa_fe, neuqun). false. 3 ?- es_vuelo(tucumn, san_juan). false. 4 ?- es_vuelo(tucumn, san_juan). false. 5 X X X ?- es_vuelo(crdoba, X). = santa_fe ; = tucumn ; = santa_rosa.

6 ?- es_vuelo(X, san_juan). X = buenos_aires ; X = santa_rosa. 7 ?- es_vuelo(santa_rosa, san_juan), es_vuelo(san_juan, mendoza). true. 8 ?- es_vuelo(buenos_aires, X), es_vuelo(X, san_juan). X = santa_rosa ; false. 9 ?- es_vuelo(buenos_aires, X), es_vuelo(X, santa_fe). X = crdoba ; false. 10 ?- es_vuelo(crdoba, X), es_vuelo(X, Y), es_vuelo(Y, mendoza). X = santa_rosa, Y = san_juan. 11 ?% c:/Users/Rosa/AppData/Local/Temp/xpce4 compiled 0.00 sec, 19 clauses Warning: c:/users/rosa/appdata/local/temp/xpce5:1: Redefined static procedure tiene_rango/2 Warning: c:/users/rosa/appdata/local/temp/xpce5:11: Redefined static procedure es_jefe_de/2

% c:/Users/Rosa/AppData/Local/Temp/xpce5 compiled 0.00 sec, 19 clauses 11 ?| tiene_rango(gonzalez, X), es_jefe_de(Y, X). false. 12 ?- tiene_rango(gonzalez, X), es_jefe_de(X, Y). false. 13 ?- tiene_rango(gonzalez, X), es_jefe_de(Y, X). false. 14 ?- tiene_rango(chirac, X), tiene_rango(hussein, Y), es_jefe_de(X, Y). false. 15 ?- tiene_rango(chirac, X), es_jefe_de(X, Y). X = cabo, Y = soldado. 16 ?- tiene_rango(chirac, X), es_jefe_de(X, Y), tiene_rango(Z, Y). X = cabo, Y = soldado, Z = komehini ; X = cabo, Y = soldado, Z = kadafi ; X = cabo, Y = soldado, Z = fujimori. 17 ?- vuelo(crdoba,tucumn,X). X = 60 ; false. 18?- vuelo(buenos_aires,crdoba,X),vuelo(crdoba,santa_fe,Y), Z= X+Y. X = 80, Y = 40, Z= 80+40. 19?- vuelo(buenos_aires,crdoba,X),vuelo(crdoba,santa_rosa,Y),vuelo(santa_rosa,san_ juan,Z). X = 80, Y = 75, Z = 85. 20?- vuelo(buenos_aires, X, Y),Y<90. X = crdoba, Y = 80 ; X = santa_rosa, Y = 70 ; false. 21 ?- vuelo(X, Y, Z), Z>60. X = buenos_aires, Y = crdoba, Z = 80 ; X = buenos_aires, Y = santa_rosa, Z = 70 ; X = buenos_aires, Y = san_juan,

Z X Y Z X Y Z X Y Z X Y Z X Y Z

= = = = = = = = = = = = = = = =

120 ; crdoba, santa_rosa, 75 ; san_juan, tucumn, 85 ; san_juan, neuqun, 100 ; mendoza, tucumn, 95 ; santa_rosa, san_juan, 85.

22?- vuelo(buenos_aires, san_juan, X), vuelo(buenos_aires, santa_rosa, Y), vuelo (santa_rosa, san_juan, Z), A= Y+ Z- X. X = 120, Y = 70, Z = 85, A = 70+85-120 % c:/Users/Rosa/AppData/Local/Temp/xpce3 compiled 0.00 sec, 5 clauses 23?- racion(flan, X). X = 190. 24 ?- racion(flan, X), Y= 580/X. X = 190, Y = 580/190. 25 ?- racion(asado, X), racion(pollo, Y), X+Y >= 580. X = 380, Y = 270. 26?- racion(asado, X), racion(pollo, Y), X+Y >= 580. X = 380, Y = 270. 27 ?- racion(flan, X), racion(pollo, Y), Z= 580 -(X+Y). X = 190, Y = 270, Z = 580- (190+270). 28?- racion(flan, X), racion(pollo, Y), Z= Y+2*X. X = 190, Y = 270, Z = 270+2*190. 29 ?-