Discussion :

[filor]

bonjour,
voila je dois faire uneimplementation d'une logique modale, je sais pas si c'est mieux d'utilser des langages logiques genre prolog ou java peut faire l'affaire...car j'ai tjr travaillé sous java et je maitrise asser bien.
merci d'avance.

[Trap D]

Il y a un interface Java dans SWI-Prolog, c'est JPL qui fonctionne bien.

[filor]

bonsoir,
c'est à dire ? j'ai pas bien compris...j'ai vu aussi qu'on pouvait integrer du code prolog dans une application java...comment est ce possible avec quel logiciel???
merci

[Trap D]

j'ai vu aussi qu'on pouvait integrer du code prolog dans une application java...comment est ce possible avec quel logiciel???
merci

Consulte ce lien.

[filor]

bonjour,
j'ai consulter le lien merci beaucoup, mais la je dois utiliser dans mes programmes la "la disjonction ordonnée" un nouveau connecteur definit dans la logique QCL, j'ai lu que ce connecteur est integrer a CR-Prolog, est-ce une versuion de prolog disponible?????
merci pour vos reponses

[Trap D]

Je ne connais pas CR-Prolog.

Tu peux définir des opérateurs en Prolog : voir ce lien http://gollem.science.uva.nl/SWI-Pro...operators.html

[Hello_World]

Bonsoir ,

Sachant que j'ai fait Prolog avec Turbo_Prolog ,

Je veux utiliser Prolog dans un programme JAVA .

Je ne sais pas comment faire ?

J'ai trouvé SWI-PROLOG avec JPL , mais j'ai pas pu l'installer (déjà il y a un problème dans le téléchargement de la JPL du site officielle ) ...

Est ce que vous pouvez m'aider ?

[Trap D]

Bonsoir et bienvenue sur ce forum.

Peux-tu expliquer ce problème de téléchargement ?
Dans mon installation de SWI-Prolog, dabs le répertoire C:\Program Files\pl\bin j'ai un fichier jpl.jar du 25/09/08.
J'ai aussi un répertoire C:\Program Files\pl\doc\packages\jpl où se trouvent des exemples d'utilisation.
As-tu ces 2 répertoires ?

[Hello_World]

Bonsoir et bienvenue sur ce forum.

Peux-tu expliquer ce problème de téléchargement ?
Dans mon installation de SWI-Prolog, dabs le répertoire C:\Program Files\pl\bin j'ai un fichier jpl.jar du 25/09/08.
J'ai aussi un répertoire C:\Program Files\pl\doc\packages\jpl où se trouvent des exemples d'utilisation.
As-tu ces 2 répertoires ?

Bonsoir ,

Merci Trap pour votre aide ,

J'ai installé SWI-PROLOG (sous Windows et sous Ubuntu) sans problème ...
mais j'ai pas trouvé comment installer JPL !

En effet , dans cette page :

http://www.swi-prolog.org/packages/j...api/index.html
dans la partie "Download" , les deux liens n'existent plus ! C'est pourquoi j'ai pas pu installer JPL

Pour les 2 repertoires ,
1- C:\Program Files\pl\bin J'ai un fichier : 'jpl.dll'
2- C:\Program Files\pl\doc\packages\jpl : existe!

Alors , qu'est ce-que je peux faire ?

et est ce qu'il y a un exemple simple pour savoir comment utiliser JPL dans JAVA ?




Merci d'avance .

[Trap D]

As-tu regardé dans le répertoire C:\Program files\pl\doc\packages\examples\jpl\java ?
Tu as des exemples programmés il me semble.

[Hello_World]

As-tu regardé dans le répertoire C:\Program files\pl\doc\packages\examples\jpl\java ?
Tu as des exemples programmés il me semble.

Merci bien Trap ,

Je vais voir ces exemples ...

Mais je veux savoir , est ce que JPL s'installe automatiquement avec SWI-PROLOG ?ou il y a quelque chose de particulier qu'on doit faire ? (car j'ai trouveé ici : http://sourceforge.net/projects/jpl/ le package de jpl , donc je ne sais pas à quoi ça sert et je ne sais pas s'il est nécessaire pour l'installation ?)

Merci ^^

[Trap D]

Mais je veux savoir , est ce que JPL s'installe automatiquement avec SWI-PROLOG ?ou il y a quelque chose de particulier qu'on doit faire ? (car j'ai trouveé ici : http://sourceforge.net/projects/jpl/ le package de jpl , donc je ne sais pas à quoi ça sert et je ne sais pas s'il est nécessaire pour l'installation ?)

Merci ^^

Perso je ne m'en suis jamais occupé, mais il est vrai que je n'ai testé que les exemples !

[Hello_World]

Merci Trap pour votre aide
ça marche bien !


Pas d'installation supplémentaire ! Il suffit d'installer Swi-Prolog (Bien sure avec JDK pour JAVA ...)

Mais bon, pour être claire , j'ai testé les exemples ... Il me reste que vérifier avec Eclips comment utiliser cette JPL