Prolog: mínimo entre dos números

Hoy traigo un sencillo codekata o howto en Prolog para almacenar lo que significa el mínimo entre dos números en una base de conocimiento. Para ejecutarlo y preguntar a Prolog hace falta tener instalado un intérprete compatible.

El código fuente

Lo siguiente se podría guardar en un fichero llamado por ejemplo minimo.pl:

% Testing file written in Prolog..
minimo(X, Y, X) :-
    X<Y,
    write('El minimo es: '),
    write(X),
    true,
    nl.
minimo(X, Y, Y) :-
    X>Y,
    write('El minimo es: '),
    write(Y),
    true,
    nl.
minimo(_, _, _) :-
    false.

Lanzando el intérprete de Prolog

Desde un terminal o línea de comandos con Prolog instalado podríamos hacer:

prolog minimo.pl

Y hacer consultas como en la imagen del principio.