Séance Prolog

[Mog]

Je suis de retour de vacances et si ça tente toujours des gens je suis
partant pour faire une séance Prolog ASAP. Je pensais par exemple au 4
Septembre à la Cantine (et je n'ai pas du tout vérifié les dispos, je
laisserais bien les gens habitués s'en charger). Des avis ?

Bisous,

Hugo

[Pierre-Alexandre Voye]

Salut, ça me plairait bien :)

--
Vous recevez ce message, car vous êtes abonné au groupe Google Groupes Nantes FP.
Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le concernant, envoyez un e-mail à l'adresse nantes-fp+...@googlegroups.com.
Pour envoyer un message à ce groupe, adressez un e-mail à nant...@googlegroups.com.
Visitez ce groupe à l'adresse http://groups.google.com/group/nantes-fp .
Pour plus d'options, visitez le site https://groups.google.com/groups/opt_out .

--
---------------------
https://twitter.com/#!/ontologiae/
http://linuxfr.org/users/montaigne

[Rodolphe BELOUIN]

+1. Ça me tenterait bien.

[Quentin ADAM]

je propose à la cantine

[Clement Delafargue]

J'ai vu avec la cantine c'est bon Pour le 4 septembre dans l'espace de coworking.

Je leur dis 19h30-21h00

--

[Quentin ADAM]

on fait un post pour annoncer l'event ?

hugo tu nous fait une description en speed ?

[Pierre-Alexandre Voye]

Comme ça je pourrai faire une news linuxfr, ça peut intéresser du monde

[Mog]

J'partirais sur un truc comme ça :

Prolog est le premier langage de programmation logique, historiquement
et par son nombre d'utilisateurs actuels. Dans un style déclaratif, il
permet de résoudre certains types de problèmes avec très peu d'effort de
programmation.

Il permet la programmation non-déterministe par son mécanisme de
backtracking et dispose d'un formalisme de parseur intéressant (les
Definite Clause Grammars). Dans toutes les implémentations modernes,
Prolog inclut aussi un module de programmation par contraintes.

La séance de mercredi présentera les bases du paradigme (programmation
logique) et les bases du langage. En parallèle de la présentation, on
implémentera un solveur de sudoku pour illustrer les concepts discutés,
vos ordinateurs personnels sont donc les bienvenus !

Sinon super pour la salle :))

Hugo

On 08/30/2013 08:40 AM, Pierre-Alexandre Voye wrote:
> Comme ça je pourrai faire une news linuxfr, ça peut intéresser du monde
>
>
> Le 30 août 2013 09:36, Quentin ADAM <wax...@gmail.com

> <mailto:wax...@gmail.com>> a écrit :

>
> on fait un post pour annoncer l'event ?
>
> hugo tu nous fait une description en speed ?
>
> Le jeudi 29 août 2013 14:06:55 UTC+2, Clement Delafargue a écrit :
>
> J'ai vu avec la cantine c'est bon Pour le 4 septembre dans
> l'espace de coworking.
>
> Je leur dis 19h30-21h00
>
> Le 23 août 2013 17:41, "Quentin ADAM" <wax...@gmail.com> a écrit :
>
> je propose à la cantine
>
> Le jeudi 22 août 2013 22:15:03 UTC+2, Mog a écrit :
>
> Je suis de retour de vacances et si ça tente toujours
> des gens je suis
> partant pour faire une séance Prolog ASAP. Je pensais
> par exemple au 4
> Septembre à la Cantine (et je n'ai pas du tout vérifié
> les dispos, je
> laisserais bien les gens habitués s'en charger). Des avis ?
>
> Bisous,
>
> Hugo
>
> --
> Vous recevez ce message, car vous êtes abonné au groupe
> Google Groupes Nantes FP.
> Pour vous désabonner de ce groupe et ne plus recevoir
> d'e-mails le concernant, envoyez un e-mail à l'adresse

> nantes-fp+...@__googlegroups.com.

> Pour envoyer un message à ce groupe, adressez un e-mail
> à nant...@googlegroups.com.
>
> Visitez ce groupe à l'adresse

> http://groups.google.com/__group/nantes-fp

> <http://groups.google.com/group/nantes-fp> .
> Pour plus d'options, visitez le site

> https://groups.google.com/__groups/opt_out

> <https://groups.google.com/groups/opt_out> .
>
> --
> Vous recevez ce message, car vous êtes abonné au groupe Google
> Groupes Nantes FP.
> Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le
> concernant, envoyez un e-mail à l'adresse
> nantes-fp+...@googlegroups.com

> <mailto:nantes-fp%2Bunsu...@googlegroups.com>.

> Pour envoyer un message à ce groupe, adressez un e-mail

> à nant...@googlegroups.com <mailto:nant...@googlegroups.com>.

> Visitez ce groupe à l'adresse http://groups.google.com/group/nantes-fp .
> Pour plus d'options, visitez le site
> https://groups.google.com/groups/opt_out .
>
>
>
>
> --
> ---------------------

> https://twitter.com/#!/ontologiae/ <https://twitter.com/#%21/ontologiae/>
> http://linuxfr.org/users/montaigne

[Pierre-Alexandre Voye]

Je proposerais une petite modif :

Prolog est le premier langage de programmation logique, historiquement

et par son nombre d'utilisateurs actuels. Il est devenu de fait le langage C de l'IA.

Rajoute afin que tout le monde soit au point, le prolog que tu souhaites utiliser (au hasard swi-prolog ?) afin que les gens l'installent avant :-)

[Mogzor]

c'est plus trop vrai pour l'IA donc je sa

2013/8/30 Pierre-Alexandre Voye <ontol...@gmail.com>

[Mogzor]

c'est plus trop vrai pour l'IA donc je sais pas trop. Sinon oué préciser swi prolog ça serait bien

(désolé pour le mail tronqué)

2013/8/30 Mogzor <mog...@gmail.com>

[Pierre-Alexandre Voye]

Ah tu m'intéresse, c'est quoi le langage C de l'IA alors ?

[Mog]

Beh maintenant ça a un peu rejoint le reste quoi, C++ C# et compagnie.

Sinon ça donne quoi pour le coup de pub ?

On 08/30/2013 09:34 AM, Pierre-Alexandre Voye wrote:
> Ah tu m'intéresse, c'est quoi le langage C de l'IA alors ?
>
>
> Le 30 août 2013 10:33, Mogzor <mog...@gmail.com

> <mailto:mog...@gmail.com>> a écrit :

>
> c'est plus trop vrai pour l'IA donc je sais pas trop. Sinon oué
> préciser swi prolog ça serait bien
> (désolé pour le mail tronqué)
>
>

> 2013/8/30 Mogzor <mog...@gmail.com <mailto:mog...@gmail.com>>

>
> c'est plus trop vrai pour l'IA donc je sa
>
>
> 2013/8/30 Pierre-Alexandre Voye <ontol...@gmail.com

> <mailto:ontol...@gmail.com>>

>
> Je proposerais une petite modif :
>
>
> Prolog est le premier langage de programmation logique,
> historiquement
> et par son nombre d'utilisateurs actuels. Il est devenu de
> fait le langage C de l'IA.
>
> Rajoute afin que tout le monde soit au point, le prolog que
> tu souhaites utiliser (au hasard swi-prolog ?) afin que les
> gens l'installent avant :-)
>
>
>
> Le 30 août 2013 11:05, Mog <mog...@gmail.com

> <mailto:mog...@gmail.com>> a écrit :

> > <mailto:wax...@gmail.com <mailto:wax...@gmail.com>>> a

> écrit :
> >
> > on fait un post pour annoncer l'event ?
> >
> > hugo tu nous fait une description en speed ?
> >
> > Le jeudi 29 août 2013 14:06:55 UTC+2, Clement
> Delafargue a écrit :
> >
> > J'ai vu avec la cantine c'est bon Pour le 4
> septembre dans
> > l'espace de coworking.
> >
> > Je leur dis 19h30-21h00
> >
> > Le 23 août 2013 17:41, "Quentin ADAM"

> <wax...@gmail.com <mailto:wax...@gmail.com>> a écrit :

> <http://googlegroups.com>.

> > Pour envoyer un message à ce groupe,
> adressez un e-mail
> > à nant...@googlegroups.com
> <mailto:nant...@googlegroups.com>.
> >
> > Visitez ce groupe à l'adresse
> > http://groups.google.com/__group/nantes-fp
> > <http://groups.google.com/group/nantes-fp> .
> > Pour plus d'options, visitez le site
> > https://groups.google.com/__groups/opt_out
> > <https://groups.google.com/groups/opt_out> .
> >
> > --
> > Vous recevez ce message, car vous êtes abonné au
> groupe Google
> > Groupes Nantes FP.
> > Pour vous désabonner de ce groupe et ne plus
> recevoir d'e-mails le
> > concernant, envoyez un e-mail à l'adresse
> > nantes-fp+...@googlegroups.com
> <mailto:nantes-fp%2Bunsu...@googlegroups.com>

> > <mailto:nantes-fp%2Bunsu...@googlegroups.com
> <mailto:nantes-fp%252Buns...@googlegroups.com>>.

> > Pour envoyer un message à ce groupe, adressez un
> e-mail
> > à nant...@googlegroups.com
> <mailto:nant...@googlegroups.com>

> <mailto:nant...@googlegroups.com

[Simon Rouger]

Salut,

Je pense venir à cette séance. Je n'avais pas pu venir à celles sur Coq. Il faudrait faire une communication sur Twitter et le site aussi, pour voir combien de personnes seraient intéressés.

Sim

>                 <mailto:nantes-fp%252Bunsubscribe@googlegroups.com>>.

[Simon Rouger]

Re, 

je viens de voir le message sur Twitter. Cependant c'est indiqué commencer à 19h. C'est donc 19h ou 19h30 le début de la séance ?

A+.

Sim

(désolé du double post)

[Clement Delafargue]

19h30, twitter fail, sorry.
Cordialement,
Clément Delafargue
cle...@delafargue.name
http://www.eklaweb.com

PGP Fingerprint : 5311 A6C4 8416 5378 3019 B977 FFB4 9299 EAE0 ED53


2013/9/4 Simon Rouger <gnoi...@gmail.com>:

>>> > <mailto:nantes-fp%252Buns...@googlegroups.com>>.

[Mog]

Yup pour la pub c'est un peu délicat je crois, vu que c'est ce soir 19h
ça commence à faire chaud en délai. Clément a tweeté hier avec le compte
Nantes-FP mais ça doit s'arrêter là.

Je sais pas si y aura beaucoup de monde mais si c'est pas le cas c'est
pas plus mal, c'est pas forcément trivial à piger Prolog en 1h30 donc ça
donnera plus de temps pour expliquer avec chaque personne :)

À ce soir pour ceux qui viennent !

Hugo

On 09/04/2013 07:22 AM, Simon Rouger wrote:
> Salut,
>
> Je pense venir à cette séance. Je n'avais pas pu venir à celles sur Coq.
> Il faudrait faire une communication sur Twitter et le site aussi, pour
> voir combien de personnes seraient intéressés.
>
> Sim
>
> On Monday, September 2, 2013 9:31:04 PM UTC+2, Mog wrote:
>
> Beh maintenant ça a un peu rejoint le reste quoi, C++ C# et compagnie.
>
> Sinon ça donne quoi pour le coup de pub ?
>
> On 08/30/2013 09:34 AM, Pierre-Alexandre Voye wrote:
> > Ah tu m'intéresse, c'est quoi le langage C de l'IA alors ?
> >
> >

> > Le 30 août 2013 10:33, Mogzor <mog...@gmail.com <javascript:>
> > <mailto:mog...@gmail.com <javascript:>>> a écrit :

> >
> > c'est plus trop vrai pour l'IA donc je sais pas trop. Sinon oué
> > préciser swi prolog ça serait bien
> > (désolé pour le mail tronqué)
> >
> >

> > 2013/8/30 Mogzor <mog...@gmail.com <javascript:>
> <mailto:mog...@gmail.com <javascript:>>>

> >
> > c'est plus trop vrai pour l'IA donc je sa
> >
> >
> > 2013/8/30 Pierre-Alexandre Voye <ontol...@gmail.com

> <javascript:>
> > <mailto:ontol...@gmail.com <javascript:>>>

> >
> > Je proposerais une petite modif :
> >
> >
> > Prolog est le premier langage de programmation logique,
> > historiquement
> > et par son nombre d'utilisateurs actuels. Il est
> devenu de
> > fait le langage C de l'IA.
> >
> > Rajoute afin que tout le monde soit au point, le
> prolog que
> > tu souhaites utiliser (au hasard swi-prolog ?) afin
> que les
> > gens l'installent avant :-)
> >
> >
> >
> > Le 30 août 2013 11:05, Mog <mog...@gmail.com

> <javascript:>
> > <mailto:mog...@gmail.com <javascript:>>> a écrit :

> <wax...@gmail.com <javascript:>
> > <mailto:wax...@gmail.com <javascript:>>
> > > <mailto:wax...@gmail.com <javascript:>
> <mailto:wax...@gmail.com <javascript:>>>> a

> <http://groups.google.com/__group/nantes-fp>
> > >
> <http://groups.google.com/group/nantes-fp

> <http://groups.google.com/group/nantes-fp>> .
> > > Pour plus d'options, visitez le site
> > >
> https://groups.google.com/__groups/opt_out

> <https://groups.google.com/__groups/opt_out>
> > >
> <https://groups.google.com/groups/opt_out

> <https://groups.google.com/groups/opt_out>> .
> > >
> > > --
> > > Vous recevez ce message, car vous êtes
> abonné au
> > groupe Google
> > > Groupes Nantes FP.
> > > Pour vous désabonner de ce groupe et ne plus
> > recevoir d'e-mails le
> > > concernant, envoyez un e-mail à l'adresse

> > > nantes-fp+...@googlegroups.com <javascript:>
> > <mailto:nantes-fp%2Bunsu...@googlegroups.com
> <javascript:>>
> > >
> <mailto:nantes-fp%2Bunsu...@googlegroups.com <javascript:>
> > <mailto:nantes-fp%252Buns...@googlegroups.com
> <javascript:>>>.

> > > Pour envoyer un message à ce groupe,
> adressez un
> > e-mail

> > > à nant...@googlegroups.com <javascript:>
> > <mailto:nant...@googlegroups.com <javascript:>>
> > <mailto:nant...@googlegroups.com <javascript:>
> > <mailto:nant...@googlegroups.com <javascript:>>>.

> > > Visitez ce groupe à l'adresse
> > http://groups.google.com/group/nantes-fp
> <http://groups.google.com/group/nantes-fp> .
> > > Pour plus d'options, visitez le site
> > > https://groups.google.com/groups/opt_out
> <https://groups.google.com/groups/opt_out> .
> > >
> > >
> > >
> > >
> > > --
> > > ---------------------
> > > https://twitter.com/#!/ontologiae/

> <https://twitter.com/#!/ontologiae/>
> > <https://twitter.com/#%21/ontologiae/
> <https://twitter.com/#%21/ontologiae/>>
> > > http://linuxfr.org/users/montaigne

> <http://linuxfr.org/users/montaigne>
> > >
> > > --
> > > Vous recevez ce message, car vous êtes abonné au
> > groupe Google
> > > Groupes Nantes FP.
> > > Pour vous désabonner de ce groupe et ne plus
> recevoir
> > d'e-mails le
> > > concernant, envoyez un e-mail à l'adresse

> > > nantes-fp+...@googlegroups.com <javascript:>
> > <mailto:nantes-fp%2Bunsu...@googlegroups.com
> <javascript:>>.

> > > Pour envoyer un message à ce groupe, adressez un
> e-mail

> > > à nant...@googlegroups.com <javascript:>
> > <mailto:nant...@googlegroups.com <javascript:>>.

> > > Visitez ce groupe à l'adresse
> > http://groups.google.com/group/nantes-fp
> <http://groups.google.com/group/nantes-fp> .
> > > Pour plus d'options, visitez le site
> > > https://groups.google.com/groups/opt_out

> <https://groups.google.com/groups/opt_out> .
> >
> > --
> > Vous recevez ce message, car vous êtes abonné au
> groupe
> > Google Groupes Nantes FP.
> > Pour vous désabonner de ce groupe et ne plus recevoir
> > d'e-mails le concernant, envoyez un e-mail à
> l'adresse

> > nantes-fp+...@googlegroups.com <javascript:>
> > <mailto:nantes-fp%2Bunsu...@googlegroups.com
> <javascript:>>.

> > Pour envoyer un message à ce groupe, adressez un
> e-mail

> > à nant...@googlegroups.com <javascript:>
> > <mailto:nant...@googlegroups.com <javascript:>>.

> > Visitez ce groupe à l'adresse
> > http://groups.google.com/group/nantes-fp
> <http://groups.google.com/group/nantes-fp> .
> > Pour plus d'options, visitez le site
> > https://groups.google.com/groups/opt_out
> <https://groups.google.com/groups/opt_out> .
> >
> >
> >
> >
> > --
> > ---------------------
> > https://twitter.com/#!/ontologiae/

> <https://twitter.com/#!/ontologiae/>
> > <https://twitter.com/#%21/ontologiae/
> <https://twitter.com/#%21/ontologiae/>>
> > http://linuxfr.org/users/montaigne

> <http://linuxfr.org/users/montaigne>
> >
> > --
> > Vous recevez ce message, car vous êtes abonné au groupe
> > Google Groupes Nantes FP.
> > Pour vous désabonner de ce groupe et ne plus recevoir
> > d'e-mails le concernant, envoyez un e-mail à l'adresse

> > nantes-fp+...@googlegroups.com <javascript:>
> > <mailto:nantes-fp%2Bunsu...@googlegroups.com
> <javascript:>>.

> > Pour envoyer un message à ce groupe, adressez un e-mail

> > à nant...@googlegroups.com <javascript:>
> > <mailto:nant...@googlegroups.com <javascript:>>.

> > Visitez ce groupe à l'adresse
> > http://groups.google.com/group/nantes-fp
> <http://groups.google.com/group/nantes-fp> .
> > Pour plus d'options, visitez le site
> > https://groups.google.com/groups/opt_out

> <https://groups.google.com/groups/opt_out> .
> >
> >
> >
> > --
> > Vous recevez ce message, car vous êtes abonné au groupe Google
> > Groupes Nantes FP.
> > Pour vous désabonner de ce groupe et ne plus recevoir
> d'e-mails le
> > concernant, envoyez un e-mail à l'adresse

> > nantes-fp+...@googlegroups.com <javascript:>
> > <mailto:nantes-fp%2Bunsu...@googlegroups.com <javascript:>>.

> > Pour envoyer un message à ce groupe, adressez un e-mail

> > à nant...@googlegroups.com <javascript:>
> <mailto:nant...@googlegroups.com <javascript:>>.

> > Visitez ce groupe à l'adresse
> http://groups.google.com/group/nantes-fp
> <http://groups.google.com/group/nantes-fp> .
> > Pour plus d'options, visitez le site
> > https://groups.google.com/groups/opt_out
> <https://groups.google.com/groups/opt_out> .
> >
> >
> >
> >
> > --
> > ---------------------
> > https://twitter.com/#!/ontologiae/

> <https://twitter.com/#!/ontologiae/>
> <https://twitter.com/#%21/ontologiae/
> <https://twitter.com/#%21/ontologiae/>>
> > http://linuxfr.org/users/montaigne

> <http://linuxfr.org/users/montaigne>
> >
> > --
> > Vous recevez ce message, car vous êtes abonné au groupe Google
> > Groupes Nantes FP.
> > Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le
> > concernant, envoyez un e-mail à l'adresse

> > nantes-fp+...@googlegroups.com <javascript:>.

> > Pour envoyer un message à ce groupe, adressez un e-mail

> > à nant...@googlegroups.com <javascript:>.

> > Visitez ce groupe à l'adresse
> http://groups.google.com/group/nantes-fp
> <http://groups.google.com/group/nantes-fp> .
> > Pour plus d'options, visitez le site
> > https://groups.google.com/groups/opt_out

> <https://groups.google.com/groups/opt_out> .
>
> --
> Vous recevez ce message, car vous êtes abonné au groupe Google
> Groupes Nantes FP.
> Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le
> concernant, envoyez un e-mail à l'adresse

[Alexandre Garel]

Je voulais dire merci pour la scéance de l'autre jour.

Je suis enfin retombé sur mon projet fait au cour des mes études (en 96 j'imagine !). Le problème était de dirigé une fusée dans un champs d’astéroïde pour atteindre un objectif. Hugo ne sera pas content car il y a des red cut (et quelques green cut) ! :-D et en plus c'est assez peu compréhensible.

Je livre le code comme je l'ai trouvé.
Petite tentative de le faire tourner dans swi-prolog, c'est un fail :

?- [planif].
% planif compiled 0.00 sec, 4,840 bytes
true.

?- [fusee].
% fusee compiled 0.00 sec, 18,560 bytes
true.

?- planifier([[p_go]],PL).
ERROR: retract/1: No permission to modify static_procedure `pos_objectif/1'
   Exception: (7) regle([p_go], _G384) ?

Il a pas l'air d'aimer les assert / retract sur des data. Il faudrait ajouter des :- dynamic selon http://www.swi-prolog.org/FAQ/DynamicCode.html

Si j'ai l'occaz ce serait marrant de le ré-écrire sans red cut, compatible swi-prolog et plus lisible :-)


++Alex

[Quentin ADAM]

et après on le réécris en datalog, et on le rend webscale ? http://cascalog.org/

HADOOP IS HERE

----------------------------

Quentin ADAM

Clever Cloud CEO

+33 6 62 09 40 07

http://twitter.com/waxzce

http://fr.linkedin.com/in/waxzce

https://github.com/waxzce

quentin_adam on skype

http://www.clever-cloud.com/

http://www.companycamp.us/

http://www.checkspear.com/

http://www.unicorn4.it/

http://waxzce.org/

--
Vous recevez ce message, car vous êtes abonné au groupe Google Groupes Nantes FP.
Pour vous désabonner de ce groupe et ne plus recevoir d'e-mails le concernant, envoyez un e-mail à l'adresse nantes-fp+...@googlegroups.com.
Pour envoyer un message à ce groupe, adressez un e-mail à nant...@googlegroups.com.
Visitez ce groupe à l'adresse http://groups.google.com/group/nantes-fp .
Pour plus d'options, visitez le site https://groups.google.com/groups/opt_out .

<README.txt><planif.pl><fusee.pl>

[Mog]

Ah j'avais pas vu la deuxième partie de ton mail en fait désolé pour la
répétition t'avais déjà vu ça tout seul : ]

Il est tard !

On 09/11/2013 07:02 PM, Mog wrote:
> Héhé, fun ! : ]
>
> L'erreur que t'as c'est dû au fait que tu modifies un prédicat après
> compilation alors que t'as pas dit que t'allais le faire. Pour la fix tu
> peux rajouter, en haut de fusee.pl, ceci :
>
> :- dynamic pos_objectif/1, posfusee/2, temps/1, vitesfusee/2.
>
> Le résultat est mieux : boucle infinie maintenant ;)
>
> Et à débug c'est l'horreur car il y a non seulement les cuts mais aussi
> et surtout de l'état global. Utiliser assert et retract c'est faire de
> l'impératif dans un langage qui rend l'impératif dur à lire ! :D
>
> Fin c'est toujours cool de retomber sur des projets comme ça <3
>
> Hugo

>
> On 09/11/2013 03:45 PM, Alexandre Garel wrote:
>> Je voulais dire merci pour la scéance de l'autre jour.
>>
>> Je suis enfin retombé sur mon projet fait au cour des mes études (en 96
>> j'imagine !). Le problème était de dirigé une fusée dans un champs
>> d’astéroïde pour atteindre un objectif. Hugo ne sera pas content car il
>> y a des red cut

>> <https://en.wikipedia.org/wiki/Cut_%28logic_programming%29> (et quelques

>> green cut) ! :-D et en plus c'est assez peu compréhensible.
>>
>> Je livre le code comme je l'ai trouvé.
>> Petite tentative de le faire tourner dans swi-prolog, c'est un fail :
>>
>> ?- [planif].
>> % planif compiled 0.00 sec, 4,840 bytes
>> true.
>>
>> ?- [fusee].
>> % fusee compiled 0.00 sec, 18,560 bytes
>> true.
>>
>> ?- planifier([[p_go]],PL).
>> ERROR: retract/1: No permission to modify static_procedure `pos_objectif/1'
>> Exception: (7) regle([p_go], _G384) ?
>>
>> Il a pas l'air d'aimer les assert / retract sur des data. Il faudrait
>> ajouter des :- dynamic selon http://www.swi-prolog.org/FAQ/DynamicCode.html
>>
>> Si j'ai l'occaz ce serait marrant de le ré-écrire sans red cut,
>> compatible swi-prolog et plus lisible :-)
>>
>>
>> ++Alex
>>

[Mog]

Héhé, fun ! : ]

L'erreur que t'as c'est dû au fait que tu modifies un prédicat après
compilation alors que t'as pas dit que t'allais le faire. Pour la fix tu
peux rajouter, en haut de fusee.pl, ceci :

:- dynamic pos_objectif/1, posfusee/2, temps/1, vitesfusee/2.

Le résultat est mieux : boucle infinie maintenant ;)

Et à débug c'est l'horreur car il y a non seulement les cuts mais aussi
et surtout de l'état global. Utiliser assert et retract c'est faire de
l'impératif dans un langage qui rend l'impératif dur à lire ! :D

Fin c'est toujours cool de retomber sur des projets comme ça <3

Hugo

On 09/11/2013 03:45 PM, Alexandre Garel wrote:

> Je voulais dire merci pour la scéance de l'autre jour.
>
> Je suis enfin retombé sur mon projet fait au cour des mes études (en 96
> j'imagine !). Le problème était de dirigé une fusée dans un champs
> d’astéroïde pour atteindre un objectif. Hugo ne sera pas content car il
> y a des red cut

> <https://en.wikipedia.org/wiki/Cut_%28logic_programming%29> (et quelques

> green cut) ! :-D et en plus c'est assez peu compréhensible.
>
> Je livre le code comme je l'ai trouvé.
> Petite tentative de le faire tourner dans swi-prolog, c'est un fail :
>
> ?- [planif].
> % planif compiled 0.00 sec, 4,840 bytes
> true.
>
> ?- [fusee].
> % fusee compiled 0.00 sec, 18,560 bytes
> true.
>
> ?- planifier([[p_go]],PL).
> ERROR: retract/1: No permission to modify static_procedure `pos_objectif/1'
> Exception: (7) regle([p_go], _G384) ?
>
> Il a pas l'air d'aimer les assert / retract sur des data. Il faudrait
> ajouter des :- dynamic selon http://www.swi-prolog.org/FAQ/DynamicCode.html
>
> Si j'ai l'occaz ce serait marrant de le ré-écrire sans red cut,
> compatible swi-prolog et plus lisible :-)
>
>
> ++Alex
>

[Alex Garel]

Le 11/09/2013 19:02, Mog a �crit :
> H�h�, fun ! : ]
>
> L'erreur que t'as c'est d� au fait que tu modifies un pr�dicat apr�s

> compilation alors que t'as pas dit que t'allais le faire. Pour la fix tu
> peux rajouter, en haut de fusee.pl, ceci :
>
> :- dynamic pos_objectif/1, posfusee/2, temps/1, vitesfusee/2.
>

> Le r�sultat est mieux : boucle infinie maintenant ;)
>
> Et � d�bug c'est l'horreur car il y a non seulement les cuts mais aussi
> et surtout de l'�tat global. Utiliser assert et retract c'est faire de
> l'imp�ratif dans un langage qui rend l'imp�ratif dur � lire ! :D

Oui c'est clairement de l'imp�ratif, mais c'est un peu ce qu'on nous
avait appris malheureusement. Allez on verra si j'ai le courage de
re-r�soudre le probl�me :-)

++Alex