Prolog orienté objet

**pmax35** · 08/11/2008, 21h50

Bonsoir,

Je suis débutant en Prolog et je cherche un tuto qui expliquerait la programmation orientée objet en Prolog.

En effet j'aimerai comprendre un programme "basique" de relations entre polygone, carre, rectangle etc. développé en Prolog objet.

J'ai eu beau cherché sur la toile, rien trouvé ou presque... Merci de votre aide.

**Trap D** · 09/11/2008, 23h03

XPCE permet de créer des classes regarde ici..
Bien sur, c'est un peu orienté graphisme mais on peut faire des choses qui n'ont rien à voir.

**Alp** · 09/11/2008, 23h23

Tu as ici une distribution Prolog qui a une extension pour la POO : http://www.trinc.nl/ (la doc de cette extension : http://www.trinc.nl/doc/pl_obj.htm)

Une autre : http://oopl.sourceforge.net/ - http://sourceforge.net/projects/oopl/

Bon courage

**pmax35** · 11/11/2008, 00h09

Bonsoir! Merci beaucoup. Je vais éplucher ça.

**pmax35** · 11/11/2008, 15h18

Bonjour,

Je ne comprends pas comment utiliser les accesseurs 'getwidth(W)' et 'getwidth(H)' de la classe rectangle.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
object(
   rectangle(Width, Height), [
      (getwidth(W) :-
         W is Width),
 
      (getheight(H) :-
         H is Height),
 
      (setwidth(NewRectangle, NewWidth) :-
         NewRectangle = rectangle(NewWidth, Height)),
 
      (setheight(NewRectangle, NewHeight) :-
         NewRectangle = rectangle(Width, NewHeight)),
 
      (print :-
         write('Drawing a Rectangle ('), 
         write(Width),
         write('*'),
         write(Height),
		 write(')'),
         nl)
   ]
).

Je voudrais par exemple afficher la Width d'un rectangle créé dans un autre fichier test.pl comme ceci:

Code :

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

1
2
3
4
5
6
7
8
test :-
   RectangleA = rectangle(15, 25),
   RectangleA::print,   
   RectangleA::setwidth(RectangleB,20),
   % Je voudrais afficher ici la nouvelle width de rectangleB via
   % l'accesseur getwidth(W) de rectangle
   % avec la fonction write
   RectangleB::print.

Est-ce possible? Avez-vous une solution?
Merci d'avance.

**pmax35** · 11/11/2008, 17h33

Dans le même genre :

Code :

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

1
2
3
4
5
6
7
8
9
10
object(
	carre(Cote), [
		(surface(S) :- S is Cote*Cote),
		(print :- 
			write('CARRE'), nl,
			write('surface: '),
			write(??????),
			nl)
	]
).

Comment afficher la valeur de la surface calculée juste au dessus ?

**Alp** · 11/11/2008, 17h36

Pour la deuxième, il "suffit" à mon avis de faire :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
object(
	carre(Cote), [
		(surface(S) :- S is Cote*Cote),
		(print :- 
			write('CARRE'), nl,
			write('surface: '),
                        surface(S),
			write(S),
			nl)
	]
).

**pmax35** · 11/11/2008, 18h16

En modifiant mon code comme tu me l'as conseillé:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
object(
	carre(Cote), [
		(surface(S) :- S is Cote*Cote),	
		(print :- 
			write('CARRE'), nl,
			write('surface: '),
			surface(S),
			write(S),
			nl)
	]
).

J'obtiens cette erreur:

Code :

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

1
2
3
4
| ?- test.
CARRE
surface: 
uncaught exception: error(existence_error(procedure,surface/1),process/2)

**Alp** · 11/11/2008, 18h22

Au passage, la surface ce n'est pas Cote*Cote, et le perimètre Cote*4 ?

**pmax35** · 11/11/2008, 18h36

Si si, tout à fait!

Je cherche toujours, Si quelqu'un a une idée ou une piste...
Cf messages #5 et #6. Merci.

**Trap D** · 11/11/2008, 20h54

Une petite question : quel Prolog utilisez-vous ?
J'ai essayé Trins-Prolog mais ça n'a pas l'air d'être ça.

**pmax35** · 11/11/2008, 21h04

Bonsoir,

J'utilise GNU-Prolog version 1.3.0 by Daniel Diaz.

**Alp** · 11/11/2008, 21h08

Envoyé par pmax35

Bonsoir,

J'utilise GNU-Prolog version 1.3.0 by Daniel Diaz.

Et tu peux faire de l'OO avec GNU-Prolog ? J'émets des réserves là-dessus ...

**Alp** · 11/11/2008, 21h10

Au temps pour moi, un peu.

Il y a une extension de GNU-Prolog qui le permet : http://www.logtalk.org/

Tu utilises cela ?

**pmax35** · 11/11/2008, 21h20

Et bien non. je l'utilise sans extension...

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
:- op(600, xfy, ::).                            % send message to object
 
% use '::' operator as syntax for send message
Object::Message :-
   send(Object, Message).
 
% send(Message, Object): find Object's method and execute
send(Object, Message) :-
   get_methods(Object, Methods),                % Find Object's methods
   process(Message, Methods).                   % Execute corresponding method
 
% get the defined methods for the class
get_methods(Object, Methods) :-                 % Private methods
   object(Object, Methods).
 
% get the defined methods inherited from the superclass
get_methods(Object, Methods) :-                 % Inherited methods
   isa(Object, SuperObject),
   get_methods(SuperObject, Methods).
 
% process the method if it is defined as a fact
process(Message, [Message | _]) :-              % Use a fact
   process(Message, [Message | _]).
 
% process the method if it is defined as a rule
process(Message, [(Message :- Body) | _]) :-    % Use a rule
   call(Body).
 
process(Message, [_ | Methods]) :-              % break the message up
   process(Message, Methods).
 
object(
   shape(X, Y), [
      (getx(X) :- X is X),
      (gety(Y) :- Y is Y)
   ]
).
 
 
object(
   rectangle(Width, Height), [
      (getwidth(W) :-
         W is Width),
 
      (getheight(H) :-
         H is Height),
 
      (setwidth(NewRectangle, NewWidth) :-
         NewRectangle = rectangle(NewWidth, Height)),
 
      (setheight(NewRectangle, NewHeight) :-
         NewRectangle = rectangle(Width, NewHeight)),
 
      (print :-
         write('Drawing a Rectangle ('), 
         write(Width),
         write('*'),
         write(Height),
         write(')'),
         nl)
   ]
).
 
isa(rectangle(WIDTH, HEIGHT), shape(WIDTH, HEIGHT)).

Dans ce code, je n'arrive pas à utiliser les getters du rectangle.
Voici mon code de test:

Code :

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

1
2
3
4
5
test :-
   RectangleA = rectangle(15, 25),
   RectangleA::print,
   RectangleA::setwidth(RectangleB,20),
   RectangleB::print.

Les setters fonctionnent bien mais pas les getters.
Tu penses qu'il me faudrait installer l'extension pour que çà marche?

**Alp** · 11/11/2008, 21h23

Je pense que ce serait plus pratique en tout cas, que cette syntaxe.

Exemple de syntaxe avec logtalk :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
:- object(list).
 
    :- public(append/3).
    :- public(length/2).
    :- public(member/2).
 
    append([], List, List).
    append([Head| Tail], List, [Head| Tail2]) :-
        append(Tail, List, Tail2).
 
    length(List, Length) :-
        length(List, 0, Length).
 
    length([], Length, Length).
    length([_| Tail], Acc, Length) :-
        Acc2 is Acc + 1,
        length(Tail, Acc2, Length).
 
    member(Element, [Element| _]).
    member(Element, [_| List]) :-
        member(Element, List).
 
:- end_object.

**pmax35** · 11/11/2008, 21h35

Pour être franc. Je dois comprendre ce code (message #16) pour l'expliquer à mes petits camarades. Donc au niveau de la syntaxe, il m'est impossible de la modifier au profit de celle de logtalk même si celle-ci me paraît plus pratique...

Mon deuxième problème est le suivant:

Code :

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

1
2
3
4
5
6
object(
	rectangle(Longueur, Largeur), [
		(surface(S) :- S is Longueur*Largeur),
		(print :- write('RECTANGLE'), write(S), nl)
	]
).

Je ne sais pas comment afficher la surface S du rectangle...
Le code ci-dessus m'affiche "RECTANGLE_28" pour le test suivant.

Code :

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

1
2
3
test :-
   RectangleA = rectangle(3,2),
   RectangleA::print.

En fait je ne sais pas comment exploiter ce calcul et donc notamment comment l'afficher...

**Alp** · 11/11/2008, 21h38

Il faut que tu unifies S en appelant surface(S), et ensuite tu affiches S, je pense.

**Trap D** · 11/11/2008, 21h58

Salut
J'ai un peu regarder le code et ceci fonctionne :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
object(
   rectangle(Width, Height), [
      (getwidth(W) :-
         W is Width),
 
      (getheight(H) :-
         H is Height),
 
      (setwidth(NewRectangle, NewWidth) :-
         NewRectangle = rectangle(NewWidth, Height)),
 
      (setheight(NewRectangle, NewHeight) :-
         NewRectangle = rectangle(Width, NewHeight)),
 
	  (surface(S) :-
		S is Width * Height),
 
      (print :-
         write('Drawing a Rectangle ('), 
         write(Width),
         write('*'),
         write(Height),
         write(')'),
         nl)
   ]
).

Sortie

| ?- test.
Drawing a Rectangle (15*25)
Drawing a Rectangle (20*25)
375

Il manque le code d'appel

Code :

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

1
2
3
4
5
6
7
test :-
   RectangleA = rectangle(15, 25),
   RectangleA::print,
   RectangleA::setwidth(RectangleB,20),
   RectangleB::print,
   RectangleA::surface(S),
   write(S), nl.

**Alp** · 11/11/2008, 22h02

D'où sort le 375 ?
Qu'est-ce qui provoque son affichage ?

Edit : ah je comprends mieux

Prolog orienté objet

Prolog

Discussions similaires

Partager

Partager