Bonjour, je suis débutant et j'aimerai pouvoir trouver une interpretation arithmetique du prédicat suivant: Code:

truc(zero).
truc(suc(suc(suc(X)))):-truc(X).

Je vous remercie d'avance pour votre aide.

IMPOSSIBLE INSTALLER MANDRAKE 10.1 SUR UNE CARTE MERE P5LD2
DE ASUS CDRON NOM DRIVERS

Bonjour à tous, je veux installé sur ma partition libre de 16 Giga une Fedora qui qui servira de serveur( squid, mail....).
Quelles sont les partitions que je dois créer (avec les tailles spécifiques biensûre)?
Merci de l'aide.

IMPOSSIBLE INSTALLER MANDRAKE 10.1 SUR UNE CARTE MERE P5LD2
DE ASUS CDRON NOM DRIVERS

Bonjour à tous,
J'ai un petit soucis ,j'ai installé les pilotes fglrx comme expliqué sur cette page :
http://doc.ubuntu-fr.org/materiel/ati
puis j'ai lancé sudo aticonfig --initial=dual-head --screen-layout=left
pour pouvoir profiter d'un dual sreen .
J'ai choisi la méthode la plus simple (pas le vrai dual screen)
qui ne permet pas de transferer une fenêtre d'un écran à l'autre mais qui permet quand même de gérer le bureau sur les deux écrans.
Ma configuration est la suivante :
ubuntu dapper sur un (…)

Bonjour,
Je viens de faire l'aquisition d'une webcam logitech modele quickCam Messenger et je n'arrive pas a l'installer sur mon systeme (id product : 0x08da ) .
Quand je pense avoir installe les bon pilotes, je me retrouve avec un message d'erreur : /dev/video0 n'existe pas alors que je l'ai cree.
Depuis 3 jours que je cherche je commence a sature un peu d'aire serait la bienvenue.

Merci d'avance.

Bonjour à tous:

Après avoir remplacé ma CG Nvidia par une ATI Radeon 9800 pro en juin dernier, je n'étais pas arrivé à installer correctement les drivers ATI. Impossible de lancer X, donc j'avais laissé tomber

Or en cherchant un peu mieux il y a quelques jours j'ai vu que les drivers Vesa pouvaient faire l'affaire. Du coup j'ai essayé, et miracle, j'ai enfin le serveur qui se lance... mais quelques problèmes restent.

- la souris ne fonctionnant plus, je (…)

Salut,
Je poste ce message bien qu'ayant déjà la solution, plus pour que le prochain qui ai le problème ai plus de chance de trouver la solution (via google).
En effet après installation de Xubuntu sur un ordinateur pas de prime jeunesse (celeron), j'avais un comportement bizarre : sous X, les touches se répétaient de manière indéterministe, empêchant toute utilisation. Par contre dans les consoles sans X, pas de problème.
La solution se trouve ici : http://qa.mandriva.com/show_bug.cgi?id=21225
En fait c'est (…)

J'ai un kubuntu 6.06 et j'arrive pas a trouver un package pour installer les derniers drivers hplip. Quelqu'un aurait-il un liens pour celà??
merci d'avance

bonjour
j'ai mdk10.1 et j'ai instalé les jeux du paquetges ( stragegie civil et globulation plus d'autre )
mais apres l'install , une fois fini je veux jouer et sois que je vois la page d'accueil du jeu pour globulatio ou panzer
ou sur civilization mon mdk cherche et a aussi l'icone du jeu mais ce lance pas

j'ai mis tous les paquetage obsionel qui me demandé , j'ai aucun message d'erreur non plus que faire svp

Bonjour tout le monde
Je suis une étudiante en Informatique option « informatique industriel » et je suis entrain de chercher un thème intéressant pour mon projet de fin d’études. Alors, auriez vous quelque chose à me proposer ?
Très cordialement,
Pandore.

Salut

Je suis en debian testing et depuis une semaine, j'essaie de la mettre à jour mais rien n'y fait.

Je fais un apt-get update
Je fais ensuite un apt-get upgrade et il télécharge les paquets, il commence à les dépackager

et j'ai alors ce message :

Préparation du remplacement de pppconfig 2.3.12 (en utilisant .../pppconfig_2.3.14_all.deb) ...
Dépaquetage de la mise à jour de pppconfig ...
dpkg : erreur de traitement de /var/cache/apt/archives/pppconfig_2.3.14_all.deb (--unpack) :
tentative de remplacement de « (…)

Oyo je me bats depuis quelques temps avec mon mplayer :s tout d'abord je ne pouvais pas visionner mes fichiers vidéos pour ça j'ai bien résolu le problème :) YES :) en créant un répertoire Gedit zoom=yes mais au surprise :s l'image tourne au ralenti alors que le son tourne à vitesse normal pas facile pour suivre quoi que ce soit :s Si quelqu'un peut m'aider à régler cette saleté de problème qui me vaut de belles scènes de ménages (…)

Salut a tous !
J'ai un ordinateur portable de 64 Mo de ram et qui ne peut pas demarrer sur un CD puisque celui-ci est externe ... J'ai bcp chercher mais je n'ai pas trouvé de version linux assez petite pour tenir sur une disquette ( genre qui permeterai juste de lancer la ligne de commande ) pour enfin apres pouvoir évoluer sur le portable et adopter une interface graphique ( pas trop lourde non plus parce que 64 Mo (…)

Salut a tous !
J'ai un ordinateur portable de 64 Mo de ram et qui ne peut pas demarrer sur un CD puisque celui-ci est externe ... J'ai bcp chercher mais je n'ai pas trouvé de version linux assez petite pour tenir sur une disquette ( genre qui permeterai juste de lancer la ligne de commande ) pour enfin apres pouvoir évoluer sur le portable et adopter une interface graphique ( pas trop lourde non plus parce que 64 Mo (…)