Recent public codes are listed below. You can filter them by the following programming languages:
- view
- All
- Ada
- Assembler
- Assembler
- AWK (gawk)
- AWK (mawk)
- Bash
- bc
- Brainf**k
- C
- C#
- C++
- C++0x
- C99 strict
- CLIPS
- Clojure
- COBOL
- COBOL 85
- Common Lisp (clisp)
- D (dmd)
- Erlang
- F#
- Factor
- Falcon
- Forth
- Fortran
- Go
- Groovy
- Haskell
- Icon
- Intercal
- Java
- JavaScript (rhino)
- JavaScript (spidermonkey)
- Lua
- Nemerle
- Nice
- Nimrod
- Objective-C
- Ocaml
- Oz
- Pascal (fpc)
- Pascal (gpc)
- Perl
- Perl 6
- PHP
- Pike
- Prolog (gnu)
- Prolog (swi)
- Python
- Python 3
- R
- Ruby
- Scala
- Scheme (guile)
- Smalltalk
- SQL
- Tcl
- Text
- Unlambda
- VB.NET
- Whitespace
-
1 2 3 4 5 6
pop(china, 800). area(china, 4). density(X,Y):- pop(X,P), area(X,A), Y is P/A.
-
1 2 3 4 5 6
pop(china, 800). area(china, 4). density(X,Y):- pop(X,P), area(X,A), Y is P/A.
-
1 2 3 4 5 6
pop(china, 800). area(china, 4). density(X,Y):- pop(X,P), area(X,A), Y is P/A.
-
1 2 3 4 5 6 7 8
pop(china, 800). area(china, 4). density(X,Y):- pop(X,P), area(X,A), Y is P/A. ?- density(china, X).
-
1 2 3 4 5 6 7 8
pop(china, 800). area(china, 4). density(X,Y):- pop(X,P), area(X,A), Y is P/A. :- density(china, X).
-
1 2 3 4 5 6 7 8 9
change([H,Q,D,N,P]) :- member(H,[0,1,2]), /* Half-dollars */ member(Q,[0,1,2,3,4]), /* quarters */ member(D,[0,1,2,3,4,5,6,7,8,9,10]) , /* dimes */ member(N,[0,1,2,3,4,5,6,7,8,9,10, /* nickels */ 11,12,13,14,15,16,17,18,19,20]), S is 50*H + 25*Q +10*D + 5*N, S =< 100, P is 100-S.
...
-
1 2 3 4 5 6 7 8 9
change([H,Q,D,N,P]) :- member(H,[0,1,2]), /* Half-dollars */ member(Q,[0,1,2,3,4]), /* quarters */ member(D,[0,1,2,3,4,5,6,7,8,9,10]) , /* dimes */ member(N,[0,1,2,3,4,5,6,7,8,9,10, /* nickels */ 11,12,13,14,15,16,17,18,19,20]), S is 50*H + 25*Q +10*D + 5*N, S =< 100, P is 100-S.
...
-
1 2 3 4 5 6 7 8 9
change([H,Q,D,N,P]) :- member(H,[0,1,2]), /* Half-dollars */ member(Q,[0,1,2,3,4]), /* quarters */ member(D,[0,1,2,3,4,5,6,7,8,9,10]) , /* dimes */ member(N,[0,1,2,3,4,5,6,7,8,9,10, /* nickels */ 11,12,13,14,15,16,17,18,19,20]), S is 50*H + 25*Q +10*D + 5*N, S =< 100, P is 100-S.
...
-
1 2 3 4 5 6 7 8 9
<?xml version="1.0" ?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"><head> <title>Geocache GC... Für Informatiker - 2</title> </head>
...
-
1 2 3 4 5 6 7 8 9
town(a). town(b). town(c). town(d). dam(e). dam(f). link(a,b). link(a,c). link(c,d).
...
-
1 2 3 4 5 6 7 8 9
town(a). town(b). town(c). town(d). dam(e). dam(f). link(a,b). link(a,c). link(c,d).
...
-
1 2 3 4
P(a) b ?- P(a)
-
1 2 3 4 5 6
program : albino(cat) dog x=cat x=dog ? - !albino(x)
-
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
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).
-
1 2 3 4 5
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).
-
1 2 3 4 5
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).
-
1 2 3 4 5 6
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y). | ?- reverse(X,[a,b,c]).
-
1 2 3 4 5 6
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y). |?-reverse(X,[a,b,c]).
-
1 2 3 4 5 6
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y). |?-reverse(X,[a,b,c]).
-
1 2 3 4 5 6
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y). |-?reverse(X,[a,b,c]).
-
1 2 3 4
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).
-
1 2 3 4
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).
-
1 2 3 4
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).
-
1 2 3 4
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).
-
1 2 3 4
append([],Y,Y). append([W|X],Y,[W|Z]):- append(X,Y,Z). reverse([],[]). reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).
-
1 2
a:-write('adf'). a.
-
1
write('adf').
-
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.