Prolog y Brainfuck

%%
%% declaraciones
%%
padrede('juan', 'maria'). % juan es padre de maria
padrede('pablo', 'juan'). % pablo es padre de juan
padrede('pablo', 'marcela').
padrede('carlos', 'debora').

% A eshijo de B si B es padre de A
hijode(A,B) :- padrede(B,A).
% A es abuelo de B si A es padre de C y C es padre B
abuelode(A,B) :-
padrede(A,C),
padrede(C,B).
% A y B son hermanos si el padrede A es también el padre de B y si A y B no son lo mismo
hermanode(A,B) :-
padrede(C,A) ,
padrede(C,B),
A \== B.

% A y B son familiares si A es padre de B o A es hijo de B o A eshermano de B
familiarde(A,B) :-
padrede(A,B).
familiarde(A,B) :-
hijode(A,B).
familiarde(A,B) :-
hermanode(A,B).
%%
%% consultas
%%
% juan es hermano de marcela?
?- hermanode('juan','marcela').
yes

% carlos es hermano de juan?
?- hermanode('carlos', 'juan').
no

% pablo es abuelo de maria?
?- abuelode('pablo', 'maria').
yes

% maria es abuela de pablo?
?-abuelode('maria', 'pablo').
no




Linus Akesson presents:
The Game Of Life implemented in Brainfuck

+>>++++[-]>>+[>>+.+[-]+.+>++++++++++++[>>>>>>>>>>>>+>+[-[>>>>+>+ >>[- ]+-]-]>>>> >>>>>+>+>[-[>>>
>+> +> > [>>-]+--] >>-] >>+>+< < >]> >>[-
]+[-] < [ >>-] >+>+ >>>+ <>>+<
>>+< >>[ - ]+< - ]>+>+[-[>> > >+>> + >>[-
]+>> >> > > [-]
+>>>>[< >-]+>[-]+>>>>[-]>+>[-]+>>>>>[-]+< > > - [ - > + <] + + >
[ - < - > ] < <
< ] < < < < ] + + + + + + + + +
+ . + + + . [ - ] < ] + + + ++
* * * * * M a d e * B y : * N Y Y R I K K I * 2 0 0 2 * * * * *

Cada vez que escribo una entrada en este blog mis compañeros de estudio se burlan un poco. Dicen que sufro de incontinencia,...