Discussion :

[gabochasa]

Bonjour,
J'essaye d'installer PSP depuis quelques temps, mais ça ne marche toujours pas. J'ai le message suivant :
"Prolog initialisation failed: set_psp_flag/2: Arguments are not sufficiently instantiated ([key(session_id), value(2)])"

Quelqu'un a-t-il une idée ?

Merci

PS : je suis sous Windows XP avec IIS.

[pcaboche]

Tu parles duquel s'il te plait?

Rien que pour swi-prolog, il existe 2 projets nommés "Prolog Server Pages":
celui-ci: http://www.prologonlinereference.org/psp.psp
et celui-là: http://www.benjaminjohnston.com.au/t...e.prolog?t=psp

[gabochasa]

Désolé je ne savais pas qu'il y avait plusieurs projets de PSP.

Je parle du premier (http://www.prologonlinereference.org/psp.psp), celui de Mauro DiNuzzo

[pcaboche]

J'ai jeté un oeil au code par curiosité (pour voir comment c'était fait dedans) et dans le fichier builtin.pl, je suis tombé sur ce prédicat, qui me parait bizarre:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
set_psp_flag(Key, Value) :- 
    atom(Key), nonvar(Value),
    (   current_psp_flag(Key, _)
    ->  retract(current_psp_flag(Key, _)),
        assert(current_psp_flag(Key, Value))
    ;   throw(error(existence_error('Flag', Key), context(set_psp_flag/2, Value)))
    ).
set_psp_flag(Key, Value) :-
    throw(error(instantiation_error, context(set_psp_flag/2, [key(Key), value(Value)]))).

Regardons d'un peu plus près la première clause:
- si Key est un atome
- si Value est non variable (donc instanciée)
- si le but current_psp_flag(Key, _) est improuvable (pas encore de valeur associée à Key)
alors on se retrouve dans le cas où l'exception est levée !

Quant à la deuxième clause, elle me parait injustifiée (si on énumère les solutions de set_psp_flag, au lieu d'échouer ça lève une exception)


A mon avis, c'est un bug dans PSP.


Je verrais plutôt quelque chose du genre :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
set_psp_flag(Key, Value) :- 
  atom(Key), nonvar(Value),
  !,
  retractall(current_psp_flag(Key, _))
  assert(current_psp_flag(Key, Value)).
 
set_psp_flag(Key, Value) :-
     throw( error(instantiation_error, context(set_psp_flag/2, [key(Key), value(Value)]) ) ).

Ca ne m'a pas l'air très au point (même si l'idée est bonne).

[nikles007]

tu peux nous donner la commande appelée STP ?