Recherche:

J'utilise SWI-Prolog.

Bonjour à tous,

je veux faire une présentation avec Latex sous Windows (j'utilise WinEdt 6.0) mais il m'affiche le message d'erreur suivant:

Latex error: file 'beamer.cls' not found
...

Bonjour,

merci pour votre réponse,

les deux solutions que vous m'avez proposé n'ont pas résolu le problème.

les mots clés que j'ai dans ma bibliographie sont:
type, journal, author et ...

Bonjour à tous,

je suis entrain d’écrire un rapport en Latex, j'ai un petit problème concernant les références bibliographiques. Dans un titre de mes références, figure un mot clé de Latex,...

Bonjour,

Merci pour votre réponse.

Effectivement le code a beaucoup évolué depuis la dernière fois.


le but est de remplacer X par Y dans Term pour avoir comme résultat Term_final.

dans...

J'ai trouvé la réponse a ma question.

un élément n'appartient pas a une liste:

si d'abord il n'appartient pas a une liste vide.

s'il n'appartient a la tête de la liste et au reste de la...

Bonjour a tous,

je voudrais savoir comment programmer en prolog non appartenance d'une variable a une liste.

pour vérifier si une variable appartient a une liste, on utilise member/2, pour...

Bonjour a tous,

j'ai un petit problème avec la substitution des termes, après avoir fait la substitution des types, il faut faire la même chose avec les termes.

La présentation des termes est...

oui, j'ai utilisé trace pour repérer ou est ce que ça bloque, donc pour regler ça j'ai modifier le code comme suit:



variablesInType(Type,List_Variables_In,List_Variables_Out):-
...

Mais il reste un petit probleme.

le programme qu'on a traite juste le cas ou le premier argument est une variable, mais si le premier argument de Type est sous la forme (-> ou pii) alors il ne...

Merci Monsieur,

effectivement c’était une erreur de ma part.

tous les tests m'affichent ce que je veux exactement.

Merci encore une fois.

Bonjour,

on ne peut pas faire le test:



variablesInType(pii(X-1,X-2,X-3),List).


car pii prends deux paramètres, par contre on peut tester:

justement, avec :


?- variablesInType(X-1->X-2->X-3,List).

on doit avoir le résultat:


List = [X-1, X-2, X-3]

Merci Monsieur pour votre réponse.

Pour pii(X,Y), il suffit juste de modifier dans le code, au lieu de faire le test
fleche_type(Type), il faut mettre is_type(Type).

pour is_Type(X) avec le t en majuscule était une faute de frappe.

La dernière version du code est la plus correcte, celle que j'ai mis ce matin, donc il ne faut pas regarder l’ancienne version,...

Pour la représentation des types, voici le code:




is_cst(e-X):-
integer(X).
is_cst(t-X):-
integer(X).

Bonjour à tous,

cette fois, j'ai vraiment besoin d'aide en prolog.

J'ai besoin d'avoir la liste des variables contenues dans un type, sachant qu'un type dans le système F peut être une...

Bonjour,

merci pour vos réponses.

Effectivement,on peut utiliser app/2, voici ce que je propose mais je ne suis pas sur si c'est juste:

pour la représentation des termes:


is_Term(X):-

Bonjour à tous,

j'aurais besoin de votre aide pour faire une implémentation du système F en prolog.

D'abord la définition de la grammaire qu'il faut utiliser pour décrire les termes et les...

Je vous remercie pour votre réponse.

En fait ce que je veux exactement est:

1)A partir d'un lambda terme (contenant des sous termes typés) pouvoir calculer le type général du lambda terme( çàd...

Bonjour à tous,

peut être je dois donner plus de précision concernant ce que je cherche:

Quelle structure de données il faut utiliser pour représenter les lambda terme en entrée pour calculer...

Ce que je veux exactement est:

1)avoir une représentation des types du lambda calcul du second ordre en prolog.

2)donner le type d'une expression(si on a un lambda terme en entrée, afficher en...

Justement, je veux de l'aide pour commencer.

Merci pour le document, mais ce que je cherche exactement est l’implémentation du lambda calcul du "second ordre" en prolog.

Merci d'avance.

Merci votre réponse.

Peut être je dois donner plus de précision sur ce que je cherche exactement:

comment représenter les types du lambda calcul du second ordre en prolog?

comment...

Merci Pour votre réponse.

Mais ce que je cherche vraiment est comment implémenter les types du lambda calcul du second ordre en prolog?

Comment représenter les lambda terme en prolog ainsi que...