prolog-interpreter/test2.pl at main · Pe6oProgramista/prolog-interpreter · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
predicate1(X) :- %true;false;true;false;false;false.
    2 =\= X + 1.
predicate2(Xa,Y) :-
    Xa \= Y,
    predicate1(Xa).

valid( X, !, 131.12312, 6646) :- 2.0/X =:= 1.0, !     .
valid(  X   ,  Y
      )   :- X
                         =:= 1,
not(Y).

'424124   dasd as)d  (dasdasdas) __ adaszczx21__#__dasd4343'(Y) :- Y =:= 3.

gen(X) :- gen(0, X).
gen(Y, X) :- X is Y ; gen(Y+1, X).

f(Y, T) :- true ; !, (true), Y =:= 3, true, !; write("1"),true  .


krr(!) :- (true;true), false.
zzz:- true, (true,!, true;false), false ; true;write("1"), false.

p :- true,true,true, !, true, false; true, true, true ; true,write("1"), false.

c.
a :- b, c.

likes(ivan, ivanka) :- true.
example(A) :- A.

% B = 5.

pr(X) :- write(X).

z(X) :- likes(X, ivanka).
l(X) :- X.

k :- true;false.
k :- false.