1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
4
5
6
>+[>>,----------[>,----------]+++++[<-------->-]<[>>-<]>+[
-<+++++++[<------>-]<[>>-<]>+[
-<<[>>-<]>+[<<->>->]>
]<+++++++[<++++++>-]>>
]<++++++++[<+++++>-]<
[<]<[>>[++++++++++.>]++++++++++.[[-]<]]<]

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
4
5
6
7
program :- get_string(Nombre),
           get_double(Calif1),
           get_double(Calif2), 
           opere(Calif1, Calif2, NotaFinal),
           escriba(Nombre, NotaFinal). 
opere(Calif1, Calif2, NotaFinal) :- NotaFinal is (Calif1 + Calif2) / 2. 
escriba(Nombre,NotaFinal):-write(Nombre), write(NotaFinal).

1
2
3
4
5
6
program :- get_string(Nombre),
           get_double(Calif1),
           get_double(Calif2), 
           opere(Calif1, Calif2, NotaFinal). 
opere(Calif1, Calif2, NotaFinal) :- NotaFinal is (Calif1 + Calif2) / 2. 
check(Nombre,NotaFinal):-write(Nombre), write(NotaFinal).

1
2
3
4
5
6
program :- get_string(Nombre),
           get_double(Calif1),
           get_double(Calif2), 
           opere(Calif1, Calif2, NotaFinal). 
opere(Calif1, Calif2, NotaFinal) :- NotaFinal is (Calif1 + Calif2) / 2. 
check(Nombre,NotaFinal):-write(Nombre), write(NotaFinal).

1
2
3
4
5
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.
 

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
4
5
6
7
8
9
begin 644 webutils_pl
M8F5G:6X@-C0T(&EN9F\R+FAT;6P-"DTO(UU8.S900#U&-5(\5D5/.T-40BPR
M6%`H0F!?+T)@0")#4$$Q)%TC-25%,#$R(4@])E5,*"4A-3!$42D-"DTP4F!"
M*S)<3S53+2,K4ETD-20P0#8D030S-%!`+#)84"@E,5(X-EE3.C<Q23M664$[
M(EQ/,3180B)"8$(-"DTZ)S%4/"-(3RM7/5<]4EE7+%)93SQ&/$\U)2A//B9!
M5#LV4%$K5#$T,2)=6#HG,4T[(R1-/2<I03M'+4D-"DT])D5/.T8E3"M&,50Y
M(BA>(D!(0"@B8"DH8$1`(D)@0"A@1$`H8$0I(C!(7#HG,4T[(B%8.S913CQ3
M5$(-"DTZ)S%4/"-(3RM7/5<]4EE7+%)93SQ&/$\L,T19+C)=6#HG,4T[(BA>
M+R9!13@V,%XH(F!`(C!$*2@B8"D-"DTB0U%4.C<Q3#DS62<Y-EU#.#8M2#DR
 ...

1
2
3
4
5
6
7
8
9
    :- dynamic person/1.
    person(1).
    person(2).
    person(3).
 
    has_duplicates :- person(X), retract(person(X)), assert(backup(X)), person(X), restore.
    has_duplicates :- restore, fail.
 
    restore :- backup(X), retract(backup(X)), assert(person(X)), fail.
 ...

1
2
3
4
5
6
7
8
9
    :- dynamic person/1.
    person(1).
    person(2).
    person(3).
 
    has_duplicates :- person(X), retract(person(X)), assert(backup(X)), person(X), restore.
    has_duplicates :- restore, fail.
 
    restore :- backup(X), retract(backup(X)), assert(person(X)), fail.
 ...

1
2
3
4
5
6
7
8
9
    :- dynamic person/1.
    person(1).
    person(1).
    person(3).
 
    has_duplicates :- person(X), retract(person(X)), assert(backup(X)), person(X), restore.
    has_duplicates :- restore, fail.
 
    restore :- backup(X), retract(backup(X)), assert(person(X)), fail.
 ...

1
2
3
4
5
6
7
8
9
    :- dynamic person/1.
    person(1).
    person(1).
    person(3).
 
    has_duplicates :- person(X), retract(person(X)), assert(backup(X)), person(X), restore.
    has_duplicates :- restore, fail.
 
    restore :- backup(X), retract(backup(X)), assert(person(X)), fail.
 ...

1
2
3
4
5
6
7
8
9
    :- dynamic person/1.
    person(1).
    person(1).
    person(3).
 
    has_duplicates :- person(X), retract(person(X)), assert(backup(X)), person(X), restore.
    has_duplicates :- restore, fail.
 
    restore :- backup(X), retract(backup(X)), assert(person(X)), fail.
 ...

1
2
3
4
5
6
7
8
9
    :- dynamic person/1.
    person(1).
    person(1).
    person(3).
 
    has_duplicates :- person(X), retract(person(X)), assert(backup(X)), person(X), restore.
    has_duplicates :- restore, fail.
 
    restore :- backup(X), retract(backup(X)), assert(person(X)), fail.
 ...

1
2
3
4
5
6
7
8
9
    :- dynamic person/1.
    person(1).
    person(2).
    person(3).
 
    has_duplicates :- person(X), retract(person(X)), assert(backup(X)), person(X), restore.
    has_duplicates :- restore, fail.
 
    restore :- backup(X), retract(backup(X)), assert(person(X)), fail.
 ...

1
2
3
4
5
6
7
8
9
    :- dynamic person/1.
    person(1).
    person(2).
    person(3).
 
    has_duplicates :- person(X), retract(person(X)), assert(backup(X)), person(X), restore.
    has_duplicates :- restore, fail.
 
    restore :- backup(X), retract(backup(X)), assert(person(X)), fail.
 ...

1
2
3
4
5
6
7
8
9
    :- dynamic person/1.
    person(1).
    person(2).
    person(3).
 
    has_duplicates :- person(X), retract(person(X)), assert(backup(X)), person(X), restore.
    has_duplicates :- restore, fail.
 
    restore :- backup(X), retract(backup(X)), assert(person(X)), fail.
 ...

1
2
3
4
5
6
7
8
9
:- dynamic person/1.
person(1).
person(2).
person(3).
 
has_duplicates :- person(X), retract(person(X)), assert(backup(X)), person(X), restore.
has_duplicates :- restore, fail.
 
restore :- backup(X), retract(backup(X)), assert(person(X)), fail.
 ...

1
2
3
4
5
6
7
8
9
    :- dynamic person/1.
    person(1).
    person(2).
    person(3).
 
    has_duplicates :- person(X), retract(person(X)), assert(backup(X)), person(X), restore.
    has_duplicates :- restore, fail.
 
    restore :- backup(X), retract(backup(X)), assert(person(X)), fail.
 ...

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
:- read(X), print(X).

1
:- read(X), print(X).

1
2
3
f :- a(X).
a(1).
:- f.

1
2
3
4
:- dynamic x/1.
x(1).
x(1).
:- retract(x(1)), retract(x(1)), listing(x).