FabienArcellier

carre(X, Result) :- Result is X * X.
list_carre([X], [XCarre]) :- carre(X, XCarre).
list_carre([X|R], [XCarre| Result1]):- lcarre(R, Result1), carre(X, XCarre).

FabienArcellier

fibo(1, Result):- Result is 1.
fibo(2, Result):- Result is 1.
fibo(X, Result):- X > 2, X1 is X - 1, X2 is X - 2, fibo(X1, ResultN1), fibo(X2, ResultN2), Result is ResultN1 + ResultN2.

FabienArcellier

fact(0,1).
fact(1,1).
fact(X, Result):- X > 1, X1 is X-1, fact(X1, Result1), Result is Result1 * X.

FabienArcellier

% list_contains(5, [1,2]) % Renvoie false
% list_contains(5, [1,5]) % Renvoie true

list_contains(X, [X|_]).
list_contains(X, [_|R]):- list_contains(X, R).

FabienArcellier

entree(salade, 5, 400).
entree(taboulee, 3, 300).

plat(andouillette, 8, 500).
plat(steak, 10, 900).

fromage(bri, 3, 150).
fromage(camembert, 4, 300).

dessert(tarte, 5, 320).

FabienArcellier

/* Programme sur les liens familiaux */

pere(paul, jean).
pere(paul, frederic).
pere(emilie, marie).
pere(jean, andre).
pere(jean, cathy).
pere(jean, francis).
pere(frederic, marc).
pere(frederic, lisa).

FabienArcellier

Windows Registry Editor Version 5.00

[HKEY_CURRENT_USER\Software\Microsoft\Command Processor]
"DisableUNCCheck"=dword:00000001

FabienArcellier

<?php

$loader = require_once __DIR__.'/vendor/autoload.php';
$loader -> add('Application', __DIR__); // PSR-0 autoloading, the directory '__DIR__/Application' must exists

$app = new Silex\Application();
$app->run();
?>

FabienArcellier

sudo curl -s https://getcomposer.org/installer | sudo php -- --install-dir=/usr/local/bin/

FabienArcellier

# disable directory browsing
Options All -Indexes

# Deny access to this directory for anybody
Order allow,deny
Deny from all