hutchison

% vim:set noet sts=0 sw=8 ts=8 ft=prolog:

:- [hauptstadt].

hilfe :-
	write('Anfragen mit:'), nl,
	tab(3), write('?- findeHauptstadt.'), nl,
	write('Sichern der aktuellen Daten mit:'), nl,
	tab(3), write('?- speichern.'), nl.

hutchison

% vim:set noet sts=0 sw=8 ts=8 ft=prolog:

expr(E) :- integer(E).
expr(E) :- atomic(E).
expr(potenz(E,I)) :- expr(E), integer(I).
expr(-E) :- expr(E).
expr(E1+E2) :- expr(E1), expr(E2).
expr(E1-E2) :- expr(E1), expr(E2).
expr(E1*E2) :- expr(E1), expr(E2).
expr(E1/E2) :- expr(E1), expr(E2).

hutchison

% vim:set noet sts=0 sw=8 ts=8 ft=prolog:

n(Wert, _, _) :- integer(Wert).

tree(n(3,
	n(1,
		n(4,nil,nil),
		n(1,nil,nil)),
	n(5,
		n(9,

hutchison

noremap j 5j
noremap k 5k

set hintchars='asdfgqwert'

hutchison

Keybase proof

I hereby claim:

• I am hutchison on github.
• I am hutch (https://keybase.io/hutch) on keybase.
• I have a public key whose fingerprint is A873 B3D3 C4CF 6B0C 6CB1 F629 9241 EA65 FF47 F898

To claim this, I am signing this object: