Top Promos Apple Test Apple Antivirus Mac Dock Thunderbolt Sunology Comparatif iPhone Nettoyeur Mac

Actualité

Divers

ProLog sous OSX

Par Didier Pulicani - Mis à jour le

Cela ne vous dit peut-être rien, mais il existe un language dont les enseignants universitaires sont parfois très friands, et qui se nomme Prolog.

Fonctionnant essentiellement sur le principe des prédicats et de la récursivité, il s'énonce suivant le symbolisme et non sur les calculs numériques comme d'autres language plus connus comme le C++, le pascal ou le Java. En clair, c'est un peu de la programmation décalée qui permet toutefois de résoudre de nombreux problèmes courants.

Si je vous parle de cela, c'est tout simplement pour vous dire que la version Unix est disponible sur le site officiel. Il vous faut par contre, compiler le programme (Le read-me est assez simple et lisible) et la chose est à faire impérativement via la session de root.

Toutes les infos pour les (quelques ?) personnes intéressées :

http://www.swi-prolog.org/

Si vous avez des question précises, n'hésitez pas à me contacter... ;-)

Elon Musk lance son IA Grok en Europe et enterre twitter.com !

Elon Musk lance son IA Grok en Europe et enterre twitter.com !

Quelques jours après Claude AI, c'est au tour de Grok de débarquer également en Europe. L'IA d'Elon Musk sera disponible à tous les...

Brand Day FlexiSpot : c'est le dernier jour pour les réductions exceptionnelles. Jusqu'à -50% !

Brand Day FlexiSpot : c'est le dernier jour pour les réductions exceptionnelles. Jusqu'à -50% !

Excellente nouvelle pour ceux qui recherchent un bureau ou une chaise ergonomique : FlexiSpot lance son Brand Day, avec à la clé de grosses...

Face aux risques sur le cerveau humain, Elon Musk va-t-il suspendre le projet Neuralink ?

Face aux risques sur le cerveau humain, Elon Musk va-t-il suspendre le projet Neuralink ?

Le projet Neuralink d'Elon Musk -qui a pour vocation de fabriquer et commercialiser des puces cérébrales- a récemment passé une...

OpenAI perd son autre cofondateur !

OpenAI perd son autre cofondateur !

Alors que les annonces relatives à l'Intelligence Artificielle se multiplient, un des cofondateurs d'OpenAI a annoncé hier qu'il quittait la...

OQEE de Free gagne une fonction attendue sur les Freebox Pop, Ultra et Android TV !

OQEE de Free gagne une fonction attendue sur les Freebox Pop, Ultra et Android TV !

Tous les utilisateurs d'OQEE, le service permettant de profiter des chaînes TV et contenus inclus dans certains abonnements Freebox et Free 5G, ne sont...

Google I/O 2024 : Google mise tout sur l'IA et Gemini ! Le résumé des annonces !

Google I/O 2024 : Google mise tout sur l'IA et Gemini ! Le résumé des annonces !

Ce soir, la firme de Mountain View tenait son évènement annuel Google I/O afin de présenter l'avancée de ses travaux et les...

Claude (le concurrent de ChatGPT) débarque en Europe !

Claude (le concurrent de ChatGPT) débarque en Europe !

Hier, OpenAI dévoilait ses dernières nouveautés -notamment ChatGPT4o ou la version Mac de ChatGPT-, Anthropic ne perd pas une seule...

De nouveaux supers pouvoirs pour ChatGPT4o !

De nouveaux supers pouvoirs pour ChatGPT4o !

Hier soir, lors de sa dernière conférence, OpenAI a dévoilé ChatGPT-4o, un nouveau modèle d'IA générative...