[ANPE][Ada Neural Prolog Engine] [Open Source] le prototype de la première moitié des programmes Prolog.

**arknos** · 04/04/2018, 23h19

nom : pnl
version : 1.0.10
langue : english
description : run a english dialog.
fonctionnalités : construct facts database with dialog.
compatibilité : Prolog
nécessite : Prolog
téléchargement : néant
licence : néant.
langage : Prolog
sources : ci-dessous
à venir : peut-être l'autre moitié.

Ce programme entretient un dialog avec l'utilisateur l'informant au fur et a mesure des faits passé grâce à leur mémorisation facultative.

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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
/******************************************************************************/
/*                                   Prolog                                   */
/*                          Linguistic Neuro Program                          */
/*                               Version 1.0.10                               */
/******************************************************************************/
/* Date        : 2018-04-04 22:55:00                                          */
/* Author      : Arknos                                                       */
/* Version     : 1.0.10                                                       */
/* Description : Linguistic Neuro Program                                     */
/******************************************************************************/

%%:-style_check(-singleton).

%%:- initialization mainpe.

/******************************************************************************/
/* Prédicats dynamique de la base de faits.                                   */
:- dynamic ( sujet/1 ).
:- dynamic ( verbe/1 ).
:- dynamic ( complément/1 ).
:- dynamic ( lire/3 ).

/* Décompose une phrase de forme [Sujet, Verbe | Complément]                  */
defrag([Sujet, Verbe | Complément], Sujet, Verbe, Complément).

/* Ajout des prédicats Sujet/1 et Verbe/1 s'ils n'existe pas et des prédicats */
/* Complément/1 et lire/3                                                     */
écrire(Sujet, Verbe, Complément) :-
    (not(verbe(Verbe)) ->
         assertz((verbe(Verbe)));
    true),
    (not(sujet(Sujet)) ->
         assertz((sujet(Sujet)));
     true),
    assertz((complément(Complément))),
    assertz((lire(Sujet, Verbe, Complément))).
/*                                                                            */
/******************************************************************************/

subject(i).
subject(you).
subject(he).
subject(she).
subject(we).
subject(they).

antinomie(something, nothing).
antinomie(reality, game).
antinomie(peace, war).
antinomie(die, live).
antinomie(you, i).
antinomie(we, they).
antinomie(win, loose).

synonyme(no, negative).
synonyme(negative, false).

synonyme(yes, positive).
synonyme(positive, true).

synonyme(affirmative, positive).

synonyme(game, abstract).
synonyme(i, me).
synonyme(love, like).
synonyme(love, peace).
synonyme(war, die).
synonyme(kill, war).
synonyme(win, love).


/******************************************************************************/
/*                                                                            */
cprint(Sujet, Verbe, List, N) :-
    nth0(N, List, E),
    atomic_list_concat(E, ' ', Comp),     
    atomic_list_concat([Sujet, Verbe, Comp], ' ', Result),
    write(Result), writeln('!').

vprint(Sujet, List, Complément, N) :-
    nth0(N, List, Ver),
    /* writeln("nth0 ok!"), */
    /* atomic_list_concat(E, ' ', Ver), */
    /* write("concat 1 ok!"), */
    atomic_list_concat(Complément, ' ', Comp),
    /* write("concat 2 ok!"), */
    atomic_list_concat([Sujet, Ver, Comp], ' ', Result),
    /* write("concat 3 ok!"), */
    write(Result), writeln('!').
/*                                                                            */
/******************************************************************************/






search_antinomie(Left, Right) :- (antinomie(Left, Right), !
                                  ; antinomie(Right, Left)).

search_synonyme(Left, Right) :- (synonyme(Left, Right), !
                                 ; synonyme(Right, Left)).


no_analyze([X|R], S, R) :-
    
    (search_synonyme(X, Y),
     search_antinomie(Y, A),
     search_synonyme(A, S), !
     ;
     search_antinomie(X, S), !
     ;
     S = X).

yes_analyze([X|R], A, R) :-

    (search_antinomie(X, Y),
     search_synonyme(Y, S),
     search_antinomie(S, A), !
     ;
     search_synonyme(X, A), !
     ;
     A = X).

no :- write('no, ').
yes :- write('yes, ').

no([X|L], S) :- no_analyze(L, S).
yes([X|L], A) :- yes_analyze(L, A).

is_affirmative([Subject, Verb | Complement]) :- subject(Subject).
is_interrogative([Verb, Subject | Complement]) :- subject(Subject).


is_affirmative(List, End) :- (End == 33; End == 46),
                             is_affirmative(List).

is_interrogative(List, End) :- End == 63,
                               is_interrogative(List).


inverse_affirmative([Subject, Verb | Complement], [S, V, C], Result) :-
    
    yes_analyze([Subject], S, Substring),

    yes_analyze([Verb], V, Substring),
    
    yes_analyze(Complement, C, Rest),

    yes_analyze([Rest], Result, Substring).


inverse_interrogative([Verb, Subject | Complement], [V, S, C], Result) :-
    (yes_analyze([Subject], S, Substring),
     
     yes_analyze([Verb], V, Substring),
     
     yes_analyze(Complement, C, Rest), !,
     
     yes_analyze([Rest], Result, Substring)

            
     ;
     no_analyze([Subject], S, Substring),
     
     no_analyze([Verb], V, Substring),
     
     no_analyze(Complement, C, Rest), !,

     yes_analyze([Rest], Result, Substring)).


words_to_list(Index, Words, List) :-
    nth0(Index, Words, S),
    nth0(Index, List, A),
    atom_codes(A, S).


output_to_list(String, List, Sentence) :-
    split_string(String, "-', ", ", ", String_List),
    length(String_List, Length),
    List_Length is Length + 1,
    length(List, List_Length),
    Last is Length - 1,

    foreach(between(0, Last, Index),
            words_to_list(Index, String_List, List)),

    length(Sentence, Length),
    foreach(between(0, Last, Index),
            words_to_list(Index, String_List, Sentence)).

input_to_list(String, List, Sentence) :-
    split_string(String, "-', ", ", ", String_List),
    length(String_List, Length),
    List_Length is Length + 1,
    length(List, List_Length),
    Last is Length - 1,

    foreach(between(0, Last, Index),
            words_to_list(Index, String_List, List)),

    length(Sentence, Length),
    foreach(between(0, Last, Index),
            words_to_list(Index, String_List, Sentence)).

pnl :-    
    read_string(user_input, "!?.", """\n", End, String),    
    input_to_list(String, List, Sentence),
    length(List, Length),
    nth1(Length, List, At_End),
    char_code(At_End, End),
    
    nth1(1, Sentence, Veracity),   
    (Veracity == yes -> delete(Sentence, yes, Unexpected);
     Unexpected = Sentence;
     (Veracity == no -> delete(Sentence, no, Unexpected);
      Unexpected = Sentence;
      (Veracity == true -> delete(Sentence, true, Unexpected);
       Unexpected = Sentence;
       (Veracity == false -> delete(Sentence, false, Unexpected);
        Unexpected = Sentence)))),
    
    %%writeln("stop :  0.0.0"),
    (is_affirmative(Unexpected, End) ->
         %%writeln("stop :  0.0.1"),
         %%%write(Unexpected),
         /************************************************/
         /*                                              */
         defrag(Unexpected, Sujet, Verbe, Complément),
         %%writeln("stop :  0.0.2"),
         (lire(Sujet, Verbe, Complément) ->
              %%writeln("stop :  0.1.0"),
              /* Affirmation */
              write("Yes, "),
              %%writeln("stop :  0.5.1"),
              inverse_affirmative(Unexpected, Response, Rest),
              %%writeln("stop :  0.5.2"),
              inverse_affirmative(Response, Affirmative, Rest1),         
              %%writeln("stop :  0.5.3"),
              atomics_to_string(Affirmative, ' ', Affirmation), 
              %%writeln("stop :  0.5.4"),
              
              (is_list(Rest) ->
                   length(Rest, Rest_Length),
                   (Rest_Length \= 0 ->
                        atomics_to_string(Rest, ' ', Complement),
                        
                        write(Affirmation),
                     write(' '),
                     write(Complement), writeln('!') ;
                    
                    write(Affirmation), writeln('!'))
               ;
               write(Affirmation), writeln('!'))
        


                   
              /***********************************************/
              /*                                             */
              /***********************************************/
              %% inverse_affirmative(Unexpected, Affirmative, Rest),
              
              
              %% %%writeln("stop :  0.1.1"),
              %% atomics_to_string(Affirmative, ' ', Affirmation),      
              
              %% %%writeln("stop :  0.1.2"),          

              %% output_to_list(Affirmation, Full_Request, Request),
              %% inverse_affirmative(Request, R, Rest),

              %% defrag(R, S, V, C),
              
              %% atomic_list_concat(C, ' ', Comp),
              %% atomic_list_concat([V, Comp, S], ' ', Result)
              
              %% (is_list(Rest) ->
              %%           length(Rest, Rest_Length),
              %%           (Rest_Length \= 0 ->
              %%                atomics_to_string(Rest, ' ', Complement),
                        
              %%                write(Result),
              %%                write(' '),
              %%                write(Complement), writeln('!') ;
                    
              %%            write(Result), writeln('!'))
              %%  ;
              %%  write(Result), writeln('!'))
          ;
          %%writeln("stop :  0.2.0"),
          /* Négation */
          findall(C, lire(Sujet, Verbe, C), Goal),
          %writeln("findall(C, ... :  0.2.1"),
          /* lire(Sujet, Verbe, Goal), */
          length(Goal, Len),
          %%writeln("stop :  0.2.2"),
          (Len \= 0 ->
               writeln("No, but : "),
               Last is Len - 1,
               foreach(between(0, Last, X),
                       cprint(Sujet, Verbe, Goal, X)),
               nl,
               /* Question */
               atomic_list_concat(Complément, ' ', Comp),
               atomic_list_concat([Verbe, Sujet, Comp], ' ', Interrogation),
               write(Interrogation), writeln("?"),
               nl,
               /* écrire nouveau fait */
               write("yes/no?"),
               read(X),
               (X == yes ->  écrire(Sujet, Verbe, Complément) ; true)
           ;
           %%writeln("stop :  0.3.0"),
           findall(V, lire(Sujet, V, _), Goal),
           /* lire(Sujet, Verbe, Goal), */
           %writeln("findall (V, ... :  0.3.1"),
           length(Goal, Len),
           %%writeln("stop :  0.3.2"),
           (Len \= 0 ->
                writeln("No, but : "),
                Last is Len - 1,
                foreach(between(0, Last, X),
                        vprint(Sujet, Goal, Complément, X)),
                nl,
                /* Question */
                atomic_list_concat(Complément, ' ', Comp),
                atomic_list_concat([Verbe, Sujet, Comp], ' ', Interrogation),
                write(Interrogation), writeln("?"),
                nl,
                /* écrire nouveau fait */
                write("yes/no?"),
                read(X),
                (X == yes ->  écrire(Sujet, Verbe, Complément) ; true))
           ;
           %% %%writeln("stop :  0.4.0"),
           %% %inverse_interrogative([Verbe, Sujet, Complément], R, Rest),
           %% %writeln(R),
           %% %defrag(R, Verb, Subject, Complement),
           
           %% %%%write("No, "),
           %% /* Question */
           %% %writeln(Complement),
           %% %writeln("STOP :  1"),
           %% %%writeln("stop :  0.4.1"),
           %% atomic_list_concat(Complément, ' ', Comp),
           %% %writeln(Comp),
           %% %writeln("STOP :  2"),
           %% %%writeln("stop :  0.4.2"),
           %% atomic_list_concat([Verbe, Sujet, Comp], ' ', Interrogation),
           %% %%writeln("stop :  0.4.3"),
           %% output_to_list(Interrogation, Full_Request, Request),
           %% %%writeln("stop :  0.4.4"),
           %% inverse_interrogative(Request, R, Rest),
           
           %% inverse_interrogative(R, Interrogative, Rest2),
           
           %% %%writeln("stop :  0.4.5"),
           %% %%writeln(Interrogative),
           %% %%writeln("stop :  0.4.6"),
           %% defrag(Interrogative, V, S, C),
           %% %%writeln("stop :  0.4.7"),
           %% %%writeln(C),
           %% %%writeln("stop :  0.4.8"),
           %% /* Question */
           %% atomic_list_concat(C, ' ', Comp2),
           %% %%writeln("stop :  0.4.9"),
           %% atomic_list_concat([V, Comp2, S], ' ', Question),
           %% %%writeln("stop :  0.4.10"),
           %% (is_list(Rest) ->
           %%   length(Rest, Rest_Length),
           %%   (Rest_Length \= 0 ->
           %%        atomics_to_string(Rest, ' ', Complement),
                     
           %%        write(Question),
           %%        write(' '),
           %%        write(Complement), writeln('?') ;
                 
           /***********************/
           /* écrire nouveau fait */
           /*                     */
           /***********************/
           %%write("yes/no?"),
           %%read(X),
           %%(X == yes ->  écrire(Sujet, Verbe, Complément) ; true))),
           écrire(Sujet, Verbe, Complément),
           /*                                                    */
           /******************************************************/
           %%writeln("stop :  0.5.1"),
           inverse_affirmative(Unexpected, Response, Rest),
           %%writeln("stop :  0.5.2"),
           inverse_affirmative(Response, Affirmative, Rest1),    
           %%writeln("stop :  0.5.3"),
           atomics_to_string(Affirmative, ' ', Affirmation),    
           %%writeln("stop :  0.5.4"),
           
           (is_list(Rest) ->
                length(Rest, Rest_Length),
                (Rest_Length \= 0 ->
                     atomics_to_string(Rest, ' ', Complement),
                     
                     write(Affirmation),
                     write(' '),
                     write(Complement), writeln('!') ;
                 
                 write(Affirmation), writeln('!'))
            ;
            write(Affirmation), writeln('!'));
           %%writeln("stop :  0.5.1"),
           inverse_affirmative(Unexpected, Response, Rest),
           %%writeln("stop :  0.5.2"),
           inverse_affirmative(Response, Affirmative, Rest1),    
           %%writeln("stop :  0.5.3"),
           atomics_to_string(Affirmative, ' ', Affirmation),    
           %%writeln("stop :  0.5.4"),
           
           (is_list(Rest) ->
                length(Rest, Rest_Length),
                (Rest_Length \= 0 ->
                     atomics_to_string(Rest, ' ', Complement),
                     
                     write(Affirmation),
                     write(' '),
                     write(Complement), writeln('!') ;
                 
                 write(Affirmation), writeln('!'))
            ;
            write(Affirmation), writeln('!')));
          %%writeln("stop :  0.5.1"),
           inverse_affirmative(Unexpected, Response, Rest),
           %%writeln("stop :  0.5.2"),
           inverse_affirmative(Response, Affirmative, Rest1),    
           %%writeln("stop :  0.5.3"),
           atomics_to_string(Affirmative, ' ', Affirmation),    
           %%writeln("stop :  0.5.4"),
           
           (is_list(Rest) ->
                length(Rest, Rest_Length),
                (Rest_Length \= 0 ->
                     atomics_to_string(Rest, ' ', Complement),
                     
                     write(Affirmation),
                     write(' '),
                     write(Complement), writeln('!') ;
                 
                 write(Affirmation), writeln('!'))
            ;
            write(Affirmation), writeln('!')))
     ;
     %%writeln("stop :  0.6.0"),
     inverse_interrogative(Unexpected, R, Rest),
     %%writeln("stop :  0.6.1"),
     inverse_interrogative(R, Interrogative, Rest2),
     %%writeln("stop :  0.6.2"),
     atomics_to_string(Interrogative, ' ', Result),
     %%writeln("stop :  0.6.3"),
     
     (is_list(Rest), length(Rest, Rest_Length), Rest_Length \= 0 ->
          atomics_to_string(Rest, ' ', Complement),
          
          yes, write(Result), write(' '), write(Complement), writeln('?') ;
      write(Result), writeln('?'))
    ),
    pnl.


/* saving database */
savepe :-
    tell('subjects.pl'), listing(sujet(_)), told,
    tell('verbs.pl'), listing(verbe(_)), told,
    tell('complements.pl'), listing(complément(_)), told,
    tell('facts.pl'), listing(lire(_, _, _)), told.

/* loading database */
loadpe :-
    consult(subjects),
    consult(verbs),
    consult(complements),
    consult(facts).

/* initialization */
initpe :-
    write("Initialize with : "),
    read(P),
    writeln(P),
    split_string(P, ' ', "", L),
    defrag(L, Sujet, Verbe, Complément),
    écrire(Sujet, Verbe, Complément).

mainpe :-
    (not(loadpe) -> initpe, savepe,
                    (pnl -> true;
                     savepe)
     ;     
     (pnl -> true;
      savepe),   
     savepe).

Ce fichier chez moi est nommé : neuro-program.pl.

Exemple :

Il faut créer 4 fichiers vide avant de l'utiliser.
- verbs.pl
- subjects.pl
- complements.pl
- facts.pl

En réalité c'est un poil complexe, parce que ça cherche des synonymes et des antinomie pour reformuler les questions, mais peu sont renseigner dans ce fichier.

Mais ça fait 500ligne parce que j'ai laissé un tas de codes commenté car sans réelle utilité.

Le prompt yes/no? vous invite à répondre pour confirmer l'enregistrement d'un fait.

Merci pour vos retours.

**arknos** · 04/04/2018, 23h48

Vous pouvez ajouter les 75 lignes suivantes en fin de votre fichier pour tester la logique de votre base.

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
65
66
67
68
69
70
71
72
73
74
/************************************************************/
/* the next predicates is just an test of logical traitement */
full_antinomie(Left, Right) :- (antinomie(Left, Right)
                                ; antinomie(Right, Left)).

full_synonyme(Left, Right) :- (synonyme(Left, Right)
                                 ; synonyme(Right, Left)).


full_no_analyze([X|R], S, R) :-
    
    (search_synonyme(X, Y),
     search_antinomie(Y, A),
     search_synonyme(A, S)
     ;
     search_antinomie(X, S)
     ;
     S = X).
                                            
full_yes_analyze([X|R], A, R) :-

    (search_antinomie(X, Y),
     search_synonyme(Y, S),
     search_antinomie(S, A)
     ;
     search_synonyme(X, A)
     ;
     A = X).



logic(X, Y) :- full_antinomie(X, A1), full_antinomie(Y, A2), synonyme(A1, A2), not(antinomie(A1, A2)).
against(X, Y) :- full_synonyme(X, S1), full_antinomie(Y, S1), not(synonyme(S1, S2)).

/*  end test (see main test/3)                           */
/*******************************************************/

/***************************************************/
/* Main test :                                     */

full_inverse_affirmative([Subject, Verb | Complement], [C, V, S], Result) :-
    
    full_yes_analyze([Subject], S, Substring),

    full_yes_analyze([Verb], V, Substring),
    
    full_yes_analyze(Complement, C, Result),

    full_yes_analyze([Rest], Result, Substring).

full_inverse_interrogative([Verb, Subject | Complement], [C, V, S], Result) :-
    (full_yes_analyze([Subject], S, Substring),
         
         full_yes_analyze([Verb], V, Substring),
         
         full_yes_analyze(Complement, C, Rest), !,
         
         full_yes_analyze([Rest], Result, Substring)
                
     ;
     full_no_analyze([Subject], S, Substring),
     
     full_no_analyze([Verb], V, Substring),
     
     full_no_analyze(Complement, C, Rest), !,

     full_yes_analyze([Rest], Result, Substring)).
     


logical_test(Subject, Verbe, Complement) :- logic(S_Left, S_Right), logic(V_Left, V_Right), logic(C_Left, C_Right), full_inverse_interrogative([S_Right, V_Right, C_Right], [Subject, Verbe, Complement], R).
against_test(Subject, Verbe, Complement) :- against(S_Left, S_Right), against(V_Left, V_Right), against(C_Left, C_Right), full_inverse_interrogative([S_Right, V_Right, C_Right], [Subject, Verbe, Complement], R).

test(S, V, C) :- against_test(S, V, C), logical_test(S, V, C).

En l'état, voici le résultat attendu de test(S, V, C).

?- test(S, V, C).
S = V, V = C, C = die ;
S = V, V = C, C = peace ;
false.

?-

**arknos** · 05/04/2018, 01h48

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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
/************************************************************/
/* the next predicates is just an test of logical traitement */
full_antinomie(Left, Right) :- (antinomie(Left, Right)
                                ; antinomie(Right, Left)).

full_synonyme(Left, Right) :- (synonyme(Left, Right)
                                 ; synonyme(Right, Left)).


full_no_analyze([X|R], S, R) :-
    
    (search_synonyme(X, Y),
     search_antinomie(Y, A),
     search_synonyme(A, S)
     ;
     search_antinomie(X, S)
     ;
     S = X).
                                            
full_yes_analyze([X|R], A, R) :-

    (search_antinomie(X, Y),
     search_synonyme(Y, S),
     search_antinomie(S, A)
     ;
     search_synonyme(X, A)
     ;
     A = X).



logic(X, Y) :- full_antinomie(X, A1), full_antinomie(Y, A2), not(antinomie(A1, A
2)), synonyme(A1, A2).
against(X, Y) :- full_synonyme(X, S1), full_antinomie(Y, S1), not(synonyme(S1, S
2)).

/*  end test (see main test/3)                           */
/*******************************************************/
/***************************************************/
/* Main test :                                     */

full_inverse_affirmative([Subject, Verb | Complement], [S, V, C], Result) :-
    
    full_yes_analyze([Subject], S, Substring),

    full_yes_analyze([Verb], V, Substring),
    
    full_yes_analyze(Complement, C, Result),

    full_yes_analyze([Rest], Result, Substring).

full_inverse_interrogative([Verb, Subject | Complement], [V, S, C], Result) :-
    (full_yes_analyze([Subject], S, Substring),
         
         full_yes_analyze([Verb], V, Substring),
         
         full_yes_analyze(Complement, C, Rest), !,
         
         full_yes_analyze([Rest], Result, Substring)
                
     ;
     full_no_analyze([Subject], S, Substring),
     
     full_no_analyze([Verb], V, Substring),
     
     full_no_analyze(Complement, C, Rest), !,

     full_yes_analyze([Rest], Result, Substring)).
     


logical_affirmative_test(Subject, Verbe, Complement) :- logic(S_Left, S_Right), logic(V_Left, V_Right), logic(C_Left, C_Right), full_inverse_affirmative([S_Right, V_Right, C_Right], [Subject, Verbe, Complement], R).
against_affirmative_test(Subject, Verbe, Complement) :- against(S_Left, S_Right), against(V_Left, V_Right), against(C_Left, C_Right), full_inverse_affirmative([S_Right, V_Right, C_Right], [Subject, Verbe, Complement], R).



logical_interrogative_test(Verbe, Subject, Complement) :- logic(S_Left, S_Right), logic(V_Left, V_Right), logic(C_Left, C_Right), full_inverse_interrogative([V_Right, S_Right, C_Right], [Verbe, Subject, Complement], R).
against_interrogative_test(Verbe, Subject, Complement) :- against(S_Left, S_Right), against(V_Left, V_Right), against(C_Left, C_Right), full_inverse_interrogative([V_Right, S_Right, C_Right], [Verbe, Subject, Complement], R).


theory(S, V, C) :- against_interrogative_test(V, S, C), logical_affirmative_test(S, V, C).

antitheory(V, S, C) :- against_affirmative_test(S, V, C), logical_interrogative_test(V, S, C).

test(S, V, C) :- antitheory(V, S, C), theory(S, V, C).

Resultat :

?- test(S, V, C).
S = V, V = C, C = peace ;
S = V, V = peace,
C = live ;
S = C, C = peace,
V = live ;
S = peace,
V = C, C = live ;
S = live,
V = C, C = peace ;
S = C, C = live,
V = peace ;
S = V, V = live,
C = peace ;
S = V, V = C, C = live ;
false.

?-

**arknos** · 05/04/2018, 12h03

Bonjour,
Ce fichier complète les prédécent code pour un dialogue dans une forme interrogative et est épuré d'un certain code inutil.

C'est à dire que même sous une forme interrogative, le programme vérifira s'il trouve une relation.
Si il n'en trouve pas, enregistrera automatiquement.
Si il en trouve, il présentera le prompt de confirmation d'enregistrement pour le nouveau fait interrogé.

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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
/******************************************************************************/
/*                                   Prolog                                   */
/*                          Linguistic Neuro Program                          */
/*                               Version 1.1.1                                */
/******************************************************************************/
/* Date        : 2018-04-05 10:46:00                                          */
/* Author      : Arknos                                                       */
/* Version     : 1.1.1                                                        */
/* Description : Linguistic Neuro Program                                     */
/******************************************************************************/

:- style_check(-singleton).

:- initialization mainpe.

/******************************************************************************/
/* Prédicats dynamique de la base de faits.                                   */
:- dynamic ( sujet/1 ).
:- dynamic ( verbe/1 ).
:- dynamic ( complément/1 ).
:- dynamic ( lire/3 ).

/* Décompose une phrase de forme [Sujet, Verbe | Complément]                  */
defrag([Sujet, Verbe | Complément], Sujet, Verbe, Complément).

/* Ajout des prédicats Sujet/1 et Verbe/1 s'ils n'existe pas et des prédicats */
/* Complément/1 et lire/3                                                     */
écrire(Sujet, Verbe, Complément) :-
    (not(verbe(Verbe)) ->
	 assertz((verbe(Verbe)));
    true),
    (not(sujet(Sujet)) ->
	 assertz((sujet(Sujet)));
     true),
    assertz((complément(Complément))),
    assertz((lire(Sujet, Verbe, Complément))).
/*                                                                            */
/******************************************************************************/

subject(i).
subject(you).
subject(he).
subject(she).
subject(we).
subject(they).

antinomie(something, nothing).
antinomie(reality, game).
antinomie(peace, war).
antinomie(die, live).
antinomie(win, loose).
antinomie(he, she).

synonyme(no, negative).
synonyme(negative, false).

synonyme(yes, positive).
synonyme(positive, true).

synonyme(affirmative, positive).

synonyme(power, love).
synonyme(freedom, reason).
synonyme(will, know).
synonyme(game, abstract).
synonyme(i, me).
synonyme(love, like).
synonyme(peace, love).
synonyme(war, die).
synonyme(kill, war).
synonyme(play, love).

/******************************************************************************/
/*                                                                            */
cprint(Sujet, Verbe, List, N) :-
    nth0(N, List, E),
    atomic_list_concat(E, ' ', Comp),	  
    atomic_list_concat([Sujet, Verbe, Comp], ' ', Result),
    write(Result), writeln('!').

vprint(Sujet, List, Complément, N) :-
    nth0(N, List, Ver),
    /* writeln("nth0 ok!"), */
    /* atomic_list_concat(E, ' ', Ver), */
    /* write("concat 1 ok!"), */
    atomic_list_concat(Complément, ' ', Comp),
    /* write("concat 2 ok!"), */
    atomic_list_concat([Sujet, Ver, Comp], ' ', Result),
    /* write("concat 3 ok!"), */
    write(Result), writeln('!').
/*                                                                            */
/******************************************************************************/

search_antinomie(Left, Right) :- (antinomie(Left, Right), !
				  ; antinomie(Right, Left)).

search_synonyme(Left, Right) :- (synonyme(Left, Right), !
				 ; synonyme(Right, Left)).


no_analyze([X|R], S, R) :-
    
    (search_synonyme(X, Y),
     search_antinomie(Y, A),
     search_synonyme(A, S), !
     ;
     search_antinomie(X, S), !
     ;
     S = X).

yes_analyze([X|R], A, R) :-

    (search_antinomie(X, Y),
     search_synonyme(Y, S),
     search_antinomie(S, A), !
     ;
     search_synonyme(X, A), !
     ;
     A = X).

no :- write('no, ').
yes :- write('yes, ').

no([X|L], S) :- no_analyze(L, S).
yes([X|L], A) :- yes_analyze(L, A).

is_affirmative([Subject, Verb | Complement]) :- subject(Subject).
is_interrogative([Verb, Subject | Complement]) :- subject(Subject).


is_affirmative(List, End) :- (End == 33; End == 46),
			     is_affirmative(List).

is_interrogative(List, End) :- End == 63,
			       is_interrogative(List).


inverse_affirmative([Subject, Verb | Complement], [S, V, C], Result) :-
    
    yes_analyze([Subject], S, Substring),

    yes_analyze([Verb], V, Substring),
    
    yes_analyze(Complement, C, Rest),

    yes_analyze([Rest], Result, Substring).


inverse_interrogative([Verb, Subject | Complement], [V, S, C], Result) :-
    (yes_analyze([Subject], S, Substring),
     
     yes_analyze([Verb], V, Substring),
     
     yes_analyze(Complement, C, Rest), !,
     
     yes_analyze([Rest], Result, Substring)

	    
     ;
     no_analyze([Subject], S, Substring),
     
     no_analyze([Verb], V, Substring),
     
     no_analyze(Complement, C, Rest), !,

     yes_analyze([Rest], Result, Substring)).




words_to_list(Index, Words, List) :-
    nth0(Index, Words, S),
    nth0(Index, List, A),
    atom_codes(A, S).


output_to_list(String, List, Sentence) :-
    split_string(String, "-', ", ", ", String_List),
    length(String_List, Length),
    List_Length is Length + 1,
    length(List, List_Length),
    Last is Length - 1,

    foreach(between(0, Last, Index),
	    words_to_list(Index, String_List, List)),

    length(Sentence, Length),
    foreach(between(0, Last, Index),
	    words_to_list(Index, String_List, Sentence)).

input_to_list(String, List, Sentence) :-
    split_string(String, "-', ", ", ", String_List),
    length(String_List, Length),
    List_Length is Length + 1,
    length(List, List_Length),
    Last is Length - 1,

    foreach(between(0, Last, Index),
	    words_to_list(Index, String_List, List)),

    length(Sentence, Length),
    foreach(between(0, Last, Index),
	    words_to_list(Index, String_List, Sentence)).



%pnl(Round) :-
pnl :-    
    read_string(user_input, "!?.", """\n", End, String),    
    input_to_list(String, List, Sentence),
    length(List, Length),
    nth1(Length, List, At_End),
    char_code(At_End, End),
    
    nth1(1, Sentence, Veracity),   
    (Veracity == yes -> delete(Sentence, yes, Unexpected);
     Unexpected = Sentence;
     (Veracity == no -> delete(Sentence, no, Unexpected);
      Unexpected = Sentence;
      (Veracity == true -> delete(Sentence, true, Unexpected);
       Unexpected = Sentence;
       (Veracity == false -> delete(Sentence, false, Unexpected);
	Unexpected = Sentence)))),
    
    %%writeln("stop :  0.0.0"),
    (is_affirmative(Unexpected, End) ->
	 
	 /*********************************************************************/
	 /*                                                                   */
	 /*                            Affirmative                            */
	 /*                                                                   */
	 /*********************************************************************/
	 
	 
	 
	 %%writeln("stop :  0.0.1"),
	 %%%write(Unexpected),
	 /************************************************/
	 /*                                              */
	 defrag(Unexpected, Sujet, Verbe, Complément),
	 %%writeln("stop :  0.0.2"),
	 (lire(Sujet, Verbe, Complément) ->
	      %%writeln("stop :  0.1.0"),
	      /* Affirmation */
	      write("Yes, "),
	      %%writeln("stop :  0.5.1"),
	      inverse_affirmative(Unexpected, Response, Rest),
	      %%writeln("stop :  0.5.2"),
	      inverse_affirmative(Response, Affirmative, Rest1),	 
	      %%writeln("stop :  0.5.3"),
	      atomics_to_string(Affirmative, ' ', Affirmation),	
	      %%writeln("stop :  0.5.4"),
	      
	      (is_list(Rest) ->
		   length(Rest, Rest_Length),
		   (Rest_Length \= 0 ->
			atomics_to_string(Rest, ' ', Complement),
			
			write(Affirmation),
			write(' '),
			write(Complement), writeln('!') ;
		    
		    write(Affirmation), writeln('!'))
	       ;
	       write(Affirmation), writeln('!'))
		  
		  
		  /***********************************************/
		  /*                                             */
		  /***********************************************/
		  %% inverse_affirmative(Unexpected, Affirmative, Rest),
		  
		  
		  %% %%writeln("stop :  0.1.1"),
		  %% atomics_to_string(Affirmative, ' ', Affirmation),	
		  
		  %% %%writeln("stop :  0.1.2"),	      

		  %% output_to_list(Affirmation, Full_Request, Request),
		  %% inverse_affirmative(Request, R, Rest),

		  %% defrag(R, S, V, C),
		  
		  %% atomic_list_concat(C, ' ', Comp),
		  %% atomic_list_concat([V, Comp, S], ' ', Result)
		  
		  %% (is_list(Rest) ->
		  %% 	   length(Rest, Rest_Length),
		  %% 	   (Rest_Length \= 0 ->
		  %% 		atomics_to_string(Rest, ' ', Complement),
		  
		  %% 		write(Result),
		  %% 		write(' '),
		  %% 		write(Complement), writeln('!') ;
		  
		  %% 	    write(Result), writeln('!'))
		  %%  ;
		  %%  write(Result), writeln('!'))
	  ;
	  %%writeln("stop :  0.2.0"),
	  /* Négation */
	  findall(C, lire(Sujet, Verbe, C), Goal),
	  %writeln("findall(C, ... :  0.2.1"),
	  /* lire(Sujet, Verbe, Goal), */
	  length(Goal, Len),
	  %%writeln("stop :  0.2.2"),
	  (Len \= 0 ->
	       writeln("No, but : "),
	       Last is Len - 1,
	       foreach(between(0, Last, X),
		       cprint(Sujet, Verbe, Goal, X)),
	       nl,
	       /* Question */
	       atomic_list_concat(Complément, ' ', Comp),
	       atomic_list_concat([Verbe, Sujet, Comp], ' ', Interrogation),
	       write(Interrogation), writeln("?"),
	       nl,
	       /* écrire nouveau fait */
	       write("yes/no?"),
	       read(X),
	       (X == yes ->  écrire(Sujet, Verbe, Complément) ; true)
	   ;
	   %%writeln("stop :  0.3.0"),
	   findall(V, lire(Sujet, V, _), Goal),
	   /* lire(Sujet, Verbe, Goal), */
	   %%writeln("findall (V, ... :  0.3.1"),
	   length(Goal, Len),
	   %%writeln("stop :  0.3.2"),
	   (Len \= 0 ->
		writeln("No, but : "),
		Last is Len - 1,
		foreach(between(0, Last, X),
			vprint(Sujet, Goal, Complément, X)),
		nl,
		/* Question */
		atomic_list_concat(Complément, ' ', Comp),
		atomic_list_concat([Verbe, Sujet, Comp], ' ', Interrogation),
		write(Interrogation), writeln("?"),
		nl,
		/* écrire nouveau fait */
		write("yes/no?"),
		read(X),
		(X == yes ->  écrire(Sujet, Verbe, Complément) ; true))
	   ;
	   %% %%writeln("stop :  0.4.0"),
	   %% %inverse_interrogative([Verbe, Sujet, Complément], R, Rest),
	   %% %writeln(R),
	   %% %defrag(R, Verb, Subject, Complement),
	   
	   %% %%%write("No, "),
	   %% /* Question */
	   %% %writeln(Complement),
	   %% %writeln("STOP :  1"),
	   %% %%writeln("stop :  0.4.1"),
	   %% atomic_list_concat(Complément, ' ', Comp),
	   %% %writeln(Comp),
	   %% %writeln("STOP :  2"),
	   %% %%writeln("stop :  0.4.2"),
	   %% atomic_list_concat([Verbe, Sujet, Comp], ' ', Interrogation),
	   %% %%writeln("stop :  0.4.3"),
	   %% output_to_list(Interrogation, Full_Request, Request),
	   %% %%writeln("stop :  0.4.4"),
	   %% inverse_interrogative(Request, R, Rest),
	   
	   %% inverse_interrogative(R, Interrogative, Rest2),
	   
	   %% %%writeln("stop :  0.4.5"),
	   %% %%writeln(Interrogative),
	   %% %%writeln("stop :  0.4.6"),
	   %% defrag(Interrogative, V, S, C),
	   %% %%writeln("stop :  0.4.7"),
	   %% %%writeln(C),
	   %% %%writeln("stop :  0.4.8"),
	   %% /* Question */
	   %% atomic_list_concat(C, ' ', Comp2),
	   %% %%writeln("stop :  0.4.9"),
	   %% atomic_list_concat([V, Comp2, S], ' ', Question),
	   %% %%writeln("stop :  0.4.10"),
	   %% (is_list(Rest) ->
	   %% 	length(Rest, Rest_Length),
	   %% 	(Rest_Length \= 0 ->
	   %% 	     atomics_to_string(Rest, ' ', Complement),
	   
	   %% 	     write(Question),
	   %% 	     write(' '),
	   %% 	     write(Complement), writeln('?') ;
	   
	   %% 	 write(Question), writeln('?'))
	   %%  ;
	   %%  write(Question), writeln('?')),	    

	   /***********************/
	   /* écrire nouveau fait */
	   /*                     */
	   /***********************/
	   %%write("yes/no?"),
	   %%read(X),
	   %%(X == yes ->  écrire(Sujet, Verbe, Complément) ; true))),
	   écrire(Sujet, Verbe, Complément),
	   /*                                                    */
	   /******************************************************/
	   %%writeln("stop :  0.5.1"),
	   inverse_affirmative(Unexpected, Response, Rest),
	   %%writeln("stop :  0.5.2"),
	   inverse_affirmative(Response, Affirmative, Rest1),	 
	   %%writeln("stop :  0.5.3"),
	   atomics_to_string(Affirmative, ' ', Affirmation),	
	   %%writeln("stop :  0.5.4"),
	   
	   (is_list(Rest) ->
		length(Rest, Rest_Length),
		(Rest_Length \= 0 ->
		     atomics_to_string(Rest, ' ', Complement),
		     
		     write(Affirmation),
		     write(' '),
		     write(Complement), writeln('!') ;
		 
		 write(Affirmation), writeln('!'))
	    ;
	    write(Affirmation), writeln('!'));
	   %%writeln("stop :  0.5.1"),
	   inverse_affirmative(Unexpected, Response, Rest),
	   %%writeln("stop :  0.5.2"),
	   inverse_affirmative(Response, Affirmative, Rest1),	 
	   %%writeln("stop :  0.5.3"),
	   atomics_to_string(Affirmative, ' ', Affirmation),	
	   %%writeln("stop :  0.5.4"),
	   
	   (is_list(Rest) ->
		length(Rest, Rest_Length),
		(Rest_Length \= 0 ->
		     atomics_to_string(Rest, ' ', Complement),
		     
		     write(Affirmation),
		     write(' '),
		     write(Complement), writeln('!') ;
		 
		 write(Affirmation), writeln('!'))
	    ;
	    write(Affirmation), writeln('!')))
	  ;
	  %%writeln("stop :  0.5.1"),
	  inverse_affirmative(Unexpected, Response, Rest),
	  %%writeln("stop :  0.5.2"),
	  inverse_affirmative(Response, Affirmative, Rest1),	 
	  %%writeln("stop :  0.5.3"),
	  atomics_to_string(Affirmative, ' ', Affirmation),	
	  %%writeln("stop :  0.5.4"),
	  
	  (is_list(Rest) ->
	       length(Rest, Rest_Length),
	       (Rest_Length \= 0 ->
		    atomics_to_string(Rest, ' ', Complement),
		    
		    write(Affirmation),
		    write(' '),
		    write(Complement), writeln('!') ;
		
		write(Affirmation), writeln('!'))
	   ;
	   write(Affirmation), writeln('!')))
     ;

     /*************************************************************************/
     /*                                                                       */
     /*                          Interrogative                                */
     /*                                                                       */
     /*************************************************************************/
     
     %%writeln("stop :  0.6.0"),
     inverse_interrogative(Unexpected, R, Rest),
     %%writeln("stop :  0.6.1"),
     inverse_interrogative(R, Interrogative, Rest2),
     %%writeln("stop :  0.6.2"),
     /************************************************/
     /*                                              */
     defrag(Interrogative, Verbe1, Sujet1, Complément1),     
     /*                                              */
     /************************************************/
     
     %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     %% atomics_to_string(Interrogative, ' ', Result),
     %%writeln("stop :  0.6.3"),
     
     %% (is_list(Rest), length(Rest, Rest_Length), Rest_Length \= 0 ->
     %% 	  atomics_to_string(Rest, ' ', Complement),
     
     %% 	  yes, write(Result), write(' '), write(Complement), writeln('?') ;
     %%  write(Result), writeln('?')),
     %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     
     /*********************************************************************/
     /*                                                                   */
     /*                                                                   */

     yes_analyze(Complément1, Perfect, Res),
     Unexpected1 = [Sujet1, Verbe1, Perfect, Res],
     defrag(Unexpected1, Sujet2, Verbe2, Complément2),     
     /*                                                                   */
     /*                                                                   */
     /*********************************************************************/
     (lire(Sujet2, Verbe2, Complément2) ->
	  %%writeln("stop :  1.1.0"),
	  /* Affirmation */
	  write("Yes, "),
	  %%writeln("stop :  1.5.1"),
	  inverse_affirmative(Unexpected1, Response, Rest),
	  %%writeln("stop :  1.5.2"),
	  inverse_affirmative(Response, Affirmative, Rest1),	 
	  %%writeln("stop :  1.5.3"),
	  atomics_to_string(Affirmative, ' ', Affirmation),	
	  %%writeln("stop :  1.5.4"),
	  
	  (is_list(Rest) ->
	       length(Rest, Rest_Length),
	       (Rest_Length \= 0 ->
	  	    atomics_to_string(Rest, ' ', Complement),
		    
	  	    write(Affirmation),
	  	    write(' '),
	  	    write(Complement), writeln('!') ;
		
	  	write(Affirmation), writeln('!'))
	   ;
	   write(Affirmation), writeln('!'))
	      
	      
	  %%     /***********************************************/
	  %%     /*                                             */
	  %%     /***********************************************/
	  %%     %% inverse_affirmative(Unexpected1, Affirmative, Rest),
	      
	      
	  %%     %% %%writeln("stop :  1.1.1"),
	  %%     %% atomics_to_string(Affirmative, ' ', Affirmation),	
	      
	  %%     %% %%writeln("stop :  1.1.2"),	      

	  %%     %% output_to_list(Affirmation, Full_Request, Request),
	  %%     %% inverse_affirmative(Request, R, Rest),

	  %%     %% defrag(R, S, V, C),
	      
	  %%     %% atomic_list_concat(C, ' ', Comp),
	  %%     %% atomic_list_concat([V, Comp, S], ' ', Result)
	      
	  %%     %% (is_list(Rest) ->
	  %%     %% 	   length(Rest, Rest_Length),
	  %%     %% 	   (Rest_Length \= 0 ->
	  %%     %% 		atomics_to_string(Rest, ' ', Complement),
	      
	  %%     %% 		write(Result),
	  %%     %% 		write(' '),
	  %%     %% 		write(Complement), writeln('!') ;
	      
	  %%     %% 	    write(Result), writeln('!'))
	  %%     %%  ;
	  %%      %%  write(Result), writeln('!'))
      ;
      %%writeln("stop :  1.2.0"),
      /* Négation */
      findall(C, lire(Sujet2, Verbe2, C), Goal),
      %%writeln("findall(C, ... :  1.2.1"),
      /* lire(Sujet2, Verbe2, Goal), */
      length(Goal, Len),
      %%writeln("stop :  1.2.2"),
      (Len \= 0 ->
	   writeln("No, but : "),
	   Last is Len - 1,
	   foreach(between(0, Last, X),
		   cprint(Sujet2, Verbe2, Goal, X)),
	   nl,
	   /* Question */
	   atomic_list_concat(Complément2, ' ', Comp),
	   atomic_list_concat([Verbe2, Sujet2, Comp], ' ', Interrogation),
	   write(Interrogation), writeln("?"),
	   nl,
	   /* écrire nouveau fait */
	   write("yes/no?"),
	   read(X),
	   (X == yes ->  écrire(Sujet2, Verbe2, Complément2) ; true)
       ;
       %%writeln("stop :  1.3.0"),
       findall(V, lire(Sujet2, V, Complément2), Goal),
       /* lire(Sujet2, Verbe2, Goal), */
       %%writeln("findall (V, ... :  1.3.1"),
       length(Goal, Len),
       %%writeln("stop :  1.3.2"),
       (Len \= 0 ->
	    writeln("No, but : "),
	    Last is Len - 1,
	    foreach(between(0, Last, X),
		    vprint(Sujet2, Goal, Complément2, X)),
	    nl,
	    /* Question */
	    atomic_list_concat(Complément2, ' ', Comp),
	    atomic_list_concat([Verbe2, Sujet2, Comp], ' ', Interrogation),
	    write(Interrogation), writeln("?"),
	    nl,
	    /* écrire nouveau fait */
	    write("yes/no?"),
	    read(X),
	    (X == yes ->  écrire(Sujet2, Verbe2, Complément2) ; true)
       ;
       %% %%writeln("stop :  1.4.0"),
       %% %inverse_interrogative([Verbe1, Sujet1, Complément1], R, Rest),
       %% %writeln(R),
       %% %defrag(R, Verb, Subject, Complement),
       
       %% %%%write("No, "),
       %% /* Question */
       %% %writeln(Complement),
       %% %writeln("STOP :  1"),
       %% %%writeln("stop :  1.4.1"),
       %% atomic_list_concat(Complément1, ' ', Comp),
       %% %writeln(Comp),
       %% %writeln("STOP :  2"),
       %% %%writeln("stop :  1.4.2"),
       %% atomic_list_concat([Verbe1, Sujet1, Comp], ' ', Interrogation),
       %% %%writeln("stop :  1.4.3"),
       %% output_to_list(Interrogation, Full_Request, Request),
       %% %%writeln("stop :  1.4.4"),
       %% inverse_interrogative(Request, R, Rest),
       
       %% inverse_interrogative(R, Interrogative, Rest2),
       
       %% %%writeln("stop :  1.4.5"),
       %% %%writeln(Interrogative),
       %% %%writeln("stop :  1.4.6"),
       %% defrag(Interrogative, V, S, C),
       %% %%writeln("stop :  1.4.7"),
       %% %%writeln(C),
       %% %%writeln("stop :  1.4.8"),
       %% /* Question */
       %% atomic_list_concat(C, ' ', Comp2),
       %% %%writeln("stop :  1.4.9"),
       %% atomic_list_concat([V, Comp2, S], ' ', Question),
       %% %%writeln("stop :  1.4.10"),
       %% (is_list(Rest) ->
       %% 	length(Rest, Rest_Length),
       %% 	(Rest_Length \= 0 ->
       %% 	     atomics_to_string(Rest, ' ', Complement),
       
       %% 	     write(Question),
       %% 	     write(' '),
       %% 	     write(Complement), writeln('?') ;
       
       %% 	 write(Question), writeln('?'))
       %%  ;
       %%  write(Question), writeln('?')),	    

       /***********************/
       /* écrire nouveau fait */
       /*                     */
       /***********************/
       %%write("yes/no?"),
       %%read(X),
       %%(X == yes ->  écrire(Sujet1, Verbe1, Complément1) ; true))),
       écrire(Sujet2, Verbe2, Complément2),
       /*                                                    */
       /******************************************************/
       %%writeln("stop :  1.5.1"),
       inverse_affirmative(Unexpected1, Response, Rest),
       %%writeln("stop :  1.5.2"),
       inverse_affirmative(Response, Affirmative, Rest1),	 
       %%writeln("stop :  1.5.3"),
       atomics_to_string(Affirmative, ' ', Affirmation),	
       %%writeln("stop :  1.5.4"),
       
       (is_list(Rest) ->
	    length(Rest, Rest_Length),
	    (Rest_Length \= 0 ->
		 atomics_to_string(Rest, ' ', Complement),
		 
		 write(Affirmation),
		 write(' '),
		 write(Complement), writeln('!') ;
	     
	     write(Affirmation), writeln('!'))
	;
	write(Affirmation), writeln('!'));
       %%writeln("stop :  1.5.1"),
       inverse_affirmative(Unexpected1, Response, Rest),
       %%writeln("stop :  1.5.2"),
       inverse_affirmative(Response, Affirmative, Rest1),	 
       %%writeln("stop :  1.5.3"),
       atomics_to_string(Affirmative, ' ', Affirmation),	
       %%writeln("stop :  1.5.4"),
       
       (is_list(Rest) ->
	    length(Rest, Rest_Length),
	    (Rest_Length \= 0 ->
		 atomics_to_string(Rest, ' ', Complement),
		 
		 write(Affirmation),
		 write(' '),
		 write(Complement), writeln('!') ;
	     
	     write(Affirmation), writeln('!'))
	;
	write(Affirmation), writeln('!')))
      ;
      %%writeln("stop :  1.5.1"),
      inverse_affirmative(Unexpected1, Response, Rest),
      %%writeln("stop :  1.5.2"),
      inverse_affirmative(Response, Affirmative, Rest1),	 
      %%writeln("stop :  1.5.3"),
      atomics_to_string(Affirmative, ' ', Affirmation),	
      %%writeln("stop :  1.5.4"),
      
      (is_list(Rest) ->
	   length(Rest, Rest_Length),
	   (Rest_Length \= 0 ->
		atomics_to_string(Rest, ' ', Complement),
		
		write(Affirmation),
		write(' '),
		write(Complement), writeln('!') ;
	    
	    write(Affirmation), writeln('!'))
       ;
       write(Affirmation), writeln('!'))))
	 /*                                                                   */
	 /*********************************************************************/
	 
    ),
    pnl.


/* saving database */
savepe :-
    tell('subjects.pl'), listing(sujet(_)), told,
    tell('verbs.pl'), listing(verbe(_)), told,
    tell('complements.pl'), listing(complément(_)), told,
    tell('facts.pl'), listing(lire(_, _, _)), told.

/* loading database */
loadpe :-
    consult(subjects),
    consult(verbs),
    consult(complements),
    consult(facts).

/* initialization */
initpe :-
    write("Initialize with : "),
    read(P),
    writeln(P),
    split_string(P, ' ', "", L),
    defrag(L, Sujet, Verbe, Complément),
    écrire(Sujet, Verbe, Complément).

mainpe :-
    (not(loadpe) -> initpe, savepe,
		    (pnl -> true;
		     savepe)
     ;     
     (pnl -> true;
      savepe),
     savepe).


/************************************************************/
/* the next predicates is just an test of logical traitement */
full_antinomie(Left, Right) :- (antinomie(Left, Right)
				; antinomie(Right, Left)).

full_synonyme(Left, Right) :- (synonyme(Left, Right)
				 ; synonyme(Right, Left)).


full_no_analyze([X|R], S, R) :-
    
    (search_synonyme(X, Y),
     search_antinomie(Y, A),
     search_synonyme(A, S)
     ;
     search_antinomie(X, S)
     ;
     S = X).
					    
full_yes_analyze([X|R], A, R) :-

    (search_antinomie(X, Y),
     search_synonyme(Y, S),
     search_antinomie(S, A)
     ;
     search_synonyme(X, A)
     ;
     A = X).



logic(X, Y) :- full_antinomie(X, A1), full_antinomie(Y, A2), not(antinomie(A1, A2)), synonyme(A1, A2).
against(X, Y) :- full_synonyme(X, S1), full_antinomie(Y, S1), not(synonyme(S1, S2)).

/*  end test (see main test/3)                           */
/*******************************************************/

/***************************************************/
/* Main test :                                     */

full_inverse_affirmative([Subject, Verb | Complement], [S, V, C], Result) :-
    
    full_yes_analyze([Subject], S, Substring),

    full_yes_analyze([Verb], V, Substring),
    
    full_yes_analyze(Complement, C, Result),

    full_yes_analyze([Rest], Result, Substring).

full_inverse_interrogative([Verb, Subject | Complement], [V, S, C], Result) :-
    (full_yes_analyze([Subject], S, Substring),
	 
	 full_yes_analyze([Verb], V, Substring),
	 
	 full_yes_analyze(Complement, C, Rest), !,
	 
	 full_yes_analyze([Rest], Result, Substring)
		
     ;
     full_no_analyze([Subject], S, Substring),
     
     full_no_analyze([Verb], V, Substring),
     
     full_no_analyze(Complement, C, Rest), !,

     full_yes_analyze([Rest], Result, Substring)).
     


logical_affirmative_test(Subject, Verbe, Complement) :- logic(S_Left, S_Right), logic(V_Left, V_Right), logic(C_Left, C_Right), full_inverse_affirmative([S_Right, V_Right, C_Right], [Subject, Verbe, Complement], R).
against_affirmative_test(Subject, Verbe, Complement) :- against(S_Left, S_Right), against(V_Left, V_Right), against(C_Left, C_Right), full_inverse_affirmative([S_Right, V_Right, C_Right], [Subject, Verbe, Complement], R).



logical_interrogative_test(Verbe, Subject, Complement) :- logic(S_Left, S_Right), logic(V_Left, V_Right), logic(C_Left, C_Right), full_inverse_interrogative([V_Right, S_Right, C_Right], [Verbe, Subject, Complement], R).
against_interrogative_test(Verbe, Subject, Complement) :- against(S_Left, S_Right), against(V_Left, V_Right), against(C_Left, C_Right), full_inverse_interrogative([V_Right, S_Right, C_Right], [Verbe, Subject, Complement], R).


theory(S, V, C) :- against_interrogative_test(V, S, C), logical_affirmative_test(S, V, C).

antitheory(V, S, C) :- against_affirmative_test(S, V, C), logical_interrogative_test(V, S, C).

test(S, V, C) :- antitheory(V, S, C), theory(S, V, C).

Edit : En l'état, n'oubliez pas d'utiliser le précicat savepe/0 avant de quitter Prolog.

Edit 2 : le jeudi 05 avril 2018 : 13:00 je corrige les codes, mais avec du code inuti

J'avais oublié de changer les nom de Verbe1 Sujet1 Complément1 en Sujet2, Verbe2 Complément2 dans la partie interogative.

**arknos** · 05/04/2018, 15h16

Bonjour,
Je poste un nouveau listing des code du programme corrigeant un certain nombre de section de traitement.

J'ai corrigé au mieux cependant le programme présente un problème récurent de répétition de code.

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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742

/******************************************************************************/
/*                                   Prolog                                   */
/*                          Linguistic Neuro Program                          */
/*                               Version 1.1.2                                */
/******************************************************************************/
/* Date        : 2018-04-05 14:55:00                                          */
/* Author      : Arknos                                                       */
/* Version     : 1.1.2                                                        */
/* Description : Linguistic Neuro Program                                     */
/******************************************************************************/

%%:- style_check(-singleton).

%%:- initialization mainpe.

/******************************************************************************/
/* Prédicats dynamique de la base de faits.                                   */
:- dynamic ( sujet/1 ).
:- dynamic ( verbe/1 ).
:- dynamic ( complément/1 ).
:- dynamic ( lire/3 ).

/* Décompose une phrase de forme [Sujet, Verbe | Complément]                  */
defrag([Sujet, Verbe | Complément], Sujet, Verbe, Complément).

/* Ajout des prédicats Sujet/1 et Verbe/1 s'ils n'existe pas et des prédicats */
/* Complément/1 et lire/3                                                     */
écrire(Sujet, Verbe, Complément) :-
    (not(verbe(Verbe)) ->
	 assertz((verbe(Verbe)));
    true),
    (not(sujet(Sujet)) ->
	 assertz((sujet(Sujet)));
     true),
    assertz((complément(Complément))),
    assertz((lire(Sujet, Verbe, Complément))).
/*                                                                            */
/******************************************************************************/

subject(i).
subject(you).
subject(he).
subject(she).
subject(we).
subject(they).

antinomie(something, nothing).
antinomie(reality, game).
antinomie(peace, war).
antinomie(die, live).
antinomie(win, loose).
antinomie(he, she).

synonyme(no, negative).
synonyme(negative, false).

synonyme(yes, positive).
synonyme(positive, true).

synonyme(affirmative, positive).

synonyme(power, love).
synonyme(freedom, reason).
synonyme(will, know).
synonyme(game, abstract).
synonyme(i, me).
synonyme(love, like).
synonyme(peace, love).
synonyme(war, die).
synonyme(kill, war).
synonyme(play, love).

/******************************************************************************/
/*                                                                            */
cprint(Sujet, Verbe, List, N) :-
    nth0(N, List, E),
    %%write("concat E..."),
    atomic_list_concat(E, ' ', Comp),
    %%write("concat E ok!"),
    atomic_list_concat([Sujet, Verbe, Comp], ' ', Result),
    %%write("concat Result ok!"),
    write(Result), writeln('!').

vprint(Sujet, List, Complément, N) :-
    nth0(N, List, Ver),
    /* writeln("nth0 ok!"), */
    /* atomic_list_concat(E, ' ', Ver), */
    /* write("concat 1 ok!"), */
    atomic_list_concat(Complément, ' ', Comp),
    /* write("concat 2 ok!"), */
    atomic_list_concat([Sujet, Ver, Comp], ' ', Result),
    /* write("concat 3 ok!"), */
    write(Result), writeln('!').
/*                                                                            */
/******************************************************************************/

search_antinomie(Left, Right) :- (antinomie(Left, Right), !
				  ; antinomie(Right, Left)).

search_synonyme(Left, Right) :- (synonyme(Left, Right), !
				 ; synonyme(Right, Left)).


no_analyze([X|R], S, R) :-
    
    (search_synonyme(X, Y),
     search_antinomie(Y, A),
     search_synonyme(A, S), !
     ;
     search_antinomie(X, S), !
     ;
     S = X).

yes_analyze([X|R], A, R) :-

    (search_antinomie(X, Y),
     search_synonyme(Y, S),
     search_antinomie(S, A), !
     ;
     search_synonyme(X, A), !
     ;
     A = X).

no :- write('no, ').
yes :- write('yes, ').

no([X|L], S) :- no_analyze(L, S).
yes([X|L], A) :- yes_analyze(L, A).

is_affirmative([Subject, Verb | Complement]) :- subject(Subject).
is_interrogative([Verb, Subject | Complement]) :- subject(Subject).


is_affirmative(List, End) :- (End == 33; End == 46),
			     is_affirmative(List).

is_interrogative(List, End) :- End == 63,
			       is_interrogative(List).


inverse_affirmative([Subject, Verb | Complement], [S, V, C], Result) :-
    
    yes_analyze([Subject], S, Substring),

    yes_analyze([Verb], V, Substring),
    
    yes_analyze(Complement, C, Rest),

    yes_analyze([Rest], Result, Substring).


inverse_interrogative([Verb, Subject | Complement], [V, S, C], Result) :-
    (yes_analyze([Subject], S, Substring),
     
     yes_analyze([Verb], V, Substring),
     
     yes_analyze(Complement, C, Rest), !,
     
     yes_analyze([Rest], Result, Substring)

	    
     ;
     no_analyze([Subject], S, Substring),
     
     no_analyze([Verb], V, Substring),
     
     no_analyze(Complement, C, Rest), !,

     yes_analyze([Rest], Result, Substring)).




words_to_list(Index, Words, List) :-
    nth0(Index, Words, S),
    nth0(Index, List, A),
    atom_codes(A, S).


output_to_list(String, List, Sentence) :-
    split_string(String, "-', ", ", ", String_List),
    length(String_List, Length),
    List_Length is Length + 1,
    length(List, List_Length),
    Last is Length - 1,

    foreach(between(0, Last, Index),
	    words_to_list(Index, String_List, List)),

    length(Sentence, Length),
    foreach(between(0, Last, Index),
	    words_to_list(Index, String_List, Sentence)).

input_to_list(String, List, Sentence) :-
    split_string(String, "-', ", ", ", String_List),
    length(String_List, Length),
    List_Length is Length + 1,
    length(List, List_Length),
    Last is Length - 1,

    foreach(between(0, Last, Index),
	    words_to_list(Index, String_List, List)),

    length(Sentence, Length),
    foreach(between(0, Last, Index),
	    words_to_list(Index, String_List, Sentence)).



%pnl(Round) :-
pnl :-    
    read_string(user_input, "!?.", """\n", End, String),    
    input_to_list(String, List, Sentence),
    length(List, Length),
    nth1(Length, List, At_End),
    char_code(At_End, End),
    
    nth1(1, Sentence, Veracity),   
    (Veracity == yes -> delete(Sentence, yes, Unexpected);
     Unexpected = Sentence;
     (Veracity == no -> delete(Sentence, no, Unexpected);
      Unexpected = Sentence;
      (Veracity == true -> delete(Sentence, true, Unexpected);
       Unexpected = Sentence;
       (Veracity == false -> delete(Sentence, false, Unexpected);
	Unexpected = Sentence)))),
    
    %%writeln("stop :  0.0.0"),
    (is_affirmative(Unexpected, End) ->
	 
	 /*********************************************************************/
	 /*                                                                   */
	 /*                            Affirmative                            */
	 /*                                                                   */
	 /*********************************************************************/
	 
	 
	 
	 %%writeln("stop :  0.0.1"),
	 %%%write(Unexpected),
	 /************************************************/
	 /*                                              */
	 defrag(Unexpected, Sujet, Verbe, Complément),
	 %%writeln("stop :  0.0.2"),
	 (lire(Sujet, Verbe, Complément) ->
	      %%writeln("stop :  0.1.0"),
	      /* Affirmation */
	      write("Yes, "),
	      %%writeln("stop :  0.5.1"),
	      inverse_affirmative(Unexpected, Response, Rest),
	      %%writeln("stop :  0.5.2"),
	      inverse_affirmative(Response, Affirmative, Rest1),	 
	      %%writeln("stop :  0.5.3"),
	      atomics_to_string(Affirmative, ' ', Affirmation),	
	      %%writeln("stop :  0.5.4"),
	      
	      (is_list(Rest) ->
		   length(Rest, Rest_Length),
		   (Rest_Length \= 0 ->
			atomics_to_string(Rest, ' ', Complement),
			
			write(Affirmation),
			write(' '),
			write(Complement), writeln('!') ;
		    
		    write(Affirmation), writeln('!'))
	       ;
	       write(Affirmation), writeln('!'))
		  
		  
		  /***********************************************/
		  /*                                             */
		  /***********************************************/
		  
	  ;
	  %%writeln("stop :  0.2.0"),
	  /* Négation */
	  findall(C, lire(Sujet, Verbe, C), Goal),
	  %writeln("findall(C, ... :  0.2.1"),
	  /* lire(Sujet, Verbe, Goal), */
	  length(Goal, Len),
	  %%writeln("stop :  0.2.2"),
	  (Len \= 0 ->
	       writeln("No, but : "),
	       Last is Len - 1,
	       foreach(between(0, Last, X),
		       cprint(Sujet, Verbe, Goal, X)),
	       nl,
	       /* Question */
	       atomic_list_concat(Complément, ' ', Comp),
	       atomic_list_concat([Verbe, Sujet, Comp], ' ', Interrogation),
	       write(Interrogation), writeln("?"),
	       nl,
	       /* écrire nouveau fait */
	       write("yes/no?"),
	       read(X),
	       (X == yes ->  écrire(Sujet, Verbe, Complément) ; true)
	   ;
	   %%writeln("stop :  0.3.0"),
	   findall(V, lire(Sujet, V, _), Goal),
	   /* lire(Sujet, Verbe, Goal), */
	   %%writeln("findall (V, ... :  0.3.1"),
	   length(Goal, Len),
	   %%writeln("stop :  0.3.2"),
	   (Len \= 0 ->
		writeln("No, but : "),
		Last is Len - 1,
		foreach(between(0, Last, X),
			vprint(Sujet, Goal, Complément, X)),
		nl,
		/* Question */
		atomic_list_concat(Complément, ' ', Comp),
		atomic_list_concat([Verbe, Sujet, Comp], ' ', Interrogation),
		write(Interrogation), writeln("?"),
		nl,
		/* écrire nouveau fait */
		write("yes/no?"),
		read(X),
		(X == yes ->  écrire(Sujet, Verbe, Complément) ; true))
	   ;

	   /***********************/
	   /* écrire nouveau fait */
	   /*                     */
	   /***********************/
	   %%write("yes/no?"),
	   %%read(X),
	   %%(X == yes ->  écrire(Sujet, Verbe, Complément) ; true))),
	   écrire(Sujet, Verbe, Complément),
	   /*                                                    */
	   /******************************************************/
	   %%writeln("stop :  0.5.1"),
	   inverse_affirmative(Unexpected, Response, Rest),
	   %%writeln("stop :  0.5.2"),
	   inverse_affirmative(Response, Affirmative, Rest1),	 
	   %%writeln("stop :  0.5.3"),
	   atomics_to_string(Affirmative, ' ', Affirmation),	
	   %%writeln("stop :  0.5.4"),
	   
	   (is_list(Rest) ->
		length(Rest, Rest_Length),
		(Rest_Length \= 0 ->
		     atomics_to_string(Rest, ' ', Complement),
		     
		     write(Affirmation),
		     write(' '),
		     write(Complement), writeln('!') ;
		 
		 write(Affirmation), writeln('!'))
	    ;
	    write(Affirmation), writeln('!'));
	   %%writeln("stop :  0.5.1"),
	   inverse_affirmative(Unexpected, Response, Rest),
	   %%writeln("stop :  0.5.2"),
	   inverse_affirmative(Response, Affirmative, Rest1),	 
	   %%writeln("stop :  0.5.3"),
	   atomics_to_string(Affirmative, ' ', Affirmation),	
	   %%writeln("stop :  0.5.4"),
	   
	   (is_list(Rest) ->
		length(Rest, Rest_Length),
		(Rest_Length \= 0 ->
		     atomics_to_string(Rest, ' ', Complement),
		     
		     write(Affirmation),
		     write(' '),
		     write(Complement), writeln('!') ;
		 
		 write(Affirmation), writeln('!'))
	    ;
	    write(Affirmation), writeln('!')))
	  ;
	  %%writeln("stop :  0.5.1"),
	  inverse_affirmative(Unexpected, Response, Rest),
	  %%writeln("stop :  0.5.2"),
	  inverse_affirmative(Response, Affirmative, Rest1),	 
	  %%writeln("stop :  0.5.3"),
	  atomics_to_string(Affirmative, ' ', Affirmation),	
	  %%writeln("stop :  0.5.4"),
	  
	  (is_list(Rest) ->
	       length(Rest, Rest_Length),
	       (Rest_Length \= 0 ->
		    atomics_to_string(Rest, ' ', Complement),
		    
		    write(Affirmation),
		    write(' '),
		    write(Complement), writeln('!') ;
		
		write(Affirmation), writeln('!'))
	   ;
	   write(Affirmation), writeln('!')))
     ;

     /*************************************************************************/
     /*                                                                       */
     /*                          Interrogative                                */
     /*                                                                       */
     /*************************************************************************/
     
     %%writeln("stop :  0.6.0"),
     inverse_interrogative(Unexpected, R, Rest),
     %%writeln("stop :  0.6.1"),
     inverse_interrogative(R, Interrogative, Rest2),
     %%writeln("stop :  0.6.2"),
     /************************************************/
     /*                                              */
     defrag(Interrogative, Verbe1, Sujet1, Complément1),     
     /*                                              */
     /************************************************/
     
     %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     %% atomics_to_string(Interrogative, ' ', Result),
     %%writeln("stop :  0.6.3"),
     
     %% (is_list(Rest), length(Rest, Rest_Length), Rest_Length \= 0 ->
     %% 	  atomics_to_string(Rest, ' ', Complement),
     
     %% 	  yes, write(Result), write(' '), write(Complement), writeln('?') ;
     %%  write(Result), writeln('?')),
     %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     
     /*********************************************************************/
     /*                                                                   */
     /*                                                                   */

     %yes_analyze(Complément1, Perfect, Res),
     Unexpected1 = [Sujet1, Verbe1, Complément1],
     defrag(Unexpected1, Sujet2, Verbe2, Complément2),     
     /*                                                                   */
     /*                                                                   */
     /*********************************************************************/
     (lire(Sujet2, Verbe2, Complément1) ->
	  %%writeln("stop :  1.1.0"),
	  /* Affirmation */
	  write("Yes, "),
	  %%writeln("stop :  1.5.1"),
	  inverse_affirmative(Unexpected1, Response, Rest),
	  %%writeln("stop :  1.5.2"),
	  inverse_affirmative(Response, Affirmative, Rest1),	 
	  %%writeln("stop :  1.5.3"),

	  %%atomics_to_string(Affirmative, ' ', Affirmation),	
	  %%writeln("stop :  1.5.4"),

	  atomic_list_concat(Complément1, ' ', Comp),
	  %%writeln("stop :  1.3.5"),
	  atomic_list_concat([Sujet2, Verbe2, Comp], ' ', Affirmation),
	  %%writeln("stop :  1.3.6"),                     
	  

	  
	  (is_list(Rest) ->
	       length(Rest, Rest_Length),
	       (Rest_Length \= 0 ->
	  	    atomics_to_string(Rest, ' ', Complement),
		    
	  	    write(Affirmation),
	  	    write(' '),
	  	    write(Complement), writeln('!') ;
		
	  	write(Affirmation), writeln('!'))
	   ;
	   write(Affirmation), writeln('!'))
	      
	      
      ;
      %%writeln("stop :  1.2.0"),
      /* Négation */
      findall(C, lire(Sujet2, Verbe2, C), Goal),
      %%writeln("findall(C, ... :  1.2.1"),
      /* lire(Sujet2, Verbe2, Goal), */
      length(Goal, Len),
      %%writeln("stop :  1.2.2"),
      (Len \= 0 ->
	   writeln("No, but : "),
	   Last is Len - 1,
	   %%writeln("stop :  1.2.3"),
	   foreach(between(0, Last, X),
		   cprint(Sujet2, Verbe2, Goal, X)),
	   %%writeln("stop :  1.2.4"),
	   nl,
	   /* Question */
	   atomic_list_concat(Complément1, ' ', Comp),
	   %%writeln("stop :  1.2.5"),
	   atomic_list_concat([Verbe2, Sujet2, Comp], ' ', Interrogation),
	   %%writeln("stop :  1.2.6"),
	   write(Interrogation), writeln("?"),
	   nl,
	   /* écrire nouveau fait */
	   write("yes/no?"),
	   read(X),
	   (X == yes ->  écrire(Sujet2, Verbe2, Complément1) ; true)
       ;
       %%writeln("stop :  1.3.0"),
       findall(V, lire(Sujet2, V, Complément1), Goal),
       /* lire(Sujet2, Verbe2, Goal), */
       %%writeln("findall (V, ... :  1.3.1"),

       length(Goal, Len),
       %%writeln("stop :  1.3.2"),
       (Len \= 0 ->
	    %%writeln("No, but : "),
	    Last is Len - 1,
	    %%writeln("stop :  1.3.3"),
	    foreach(between(0, Last, X),
		    vprint(Sujet2, Goal, Complément1, X)),
	    %%writeln("stop :  1.3.4"),
	    nl,
	    /* Question */
	    atomic_list_concat(Complément1, ' ', Comp),
	    %%writeln("stop :  1.3.5"),
	    atomic_list_concat([Verbe2, Sujet2, Comp], ' ', Interrogation),
	    %%writeln("stop :  1.3.6"),
	    write(Interrogation), writeln("?"),
	    nl,
	    /* écrire nouveau fait */
	    write("yes/no?"),
	    read(X),
	    (X == yes ->  écrire(Sujet2, Verbe2, Complément1) ; true)
	;

	/***********************/
	/* écrire nouveau fait */
	/*                     */
	/***********************/
	%%write("yes/no?"),
	%%read(X),
	%%(X == yes ->  écrire(Sujet1, Verbe1, Complément1) ; true))),
	écrire(Sujet2, Verbe2, Complément1),
	/*                                                    */
	/******************************************************/
	%%writeln("stop :  1.5.1"),
	inverse_affirmative(Unexpected1, Response, Rest),
	%%writeln("stop :  1.5.2"),
	inverse_affirmative(Response, Affirmative, Rest1),	 
	%%writeln("stop :  1.5.3"),
	
	%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	%% defrag(Affirmative, V

	atomic_list_concat(Complément1, ' ', Comp),
	%%writeln("stop :  1.3.5"),
	atomic_list_concat([Sujet2, Verbe2, Comp], ' ', Affirmation),
	%%writeln("stop :  1.3.6"),                     
	
	(is_list(Rest) ->
	     length(Rest, Rest_Length),
	     (Rest_Length \= 0 ->
		  atomics_to_string(Rest, ' ', Complement),
		  write(Affirmation),
		  
		  write(' '),
		  write(Complement), writeln('!') ;
	      
	      write(Affirmation), writeln('!'))
	 ;
	 write(Affirmation), writeln('!')),
	%%writeln("stop :  1.5.1"),
	inverse_affirmative(Unexpected1, Response, Rest),
	%%writeln("stop :  1.5.2"),
	inverse_affirmative(Response, Affirmative, Rest1),	 
	%%writeln("stop :  1.5.3"),

	%atomics_to_string(Affirmative, ' ', Affirmation),	
	%%writeln("stop :  1.5.4"),
	
	atomic_list_concat(Complément1, ' ', Comp),
	%%writeln("stop :  1.3.5"),
	atomic_list_concat([Sujet2, Verbe2, Comp], ' ', Affirmation),
	%%writeln("stop :  1.3.6"),                     
	
	
	(is_list(Rest) ->
	     length(Rest, Rest_Length),
	     (Rest_Length \= 0 ->
		  atomics_to_string(Rest, ' ', Complement),
		  
		  write(Affirmation),
		  write(' '),
		  write(Complement), writeln('!') ;
	      
	      write(Affirmation), writeln('!'))
	 ;
	 write(Affirmation), writeln('!')))
       ;
       %%writeln("stop :  1.5.1"),
       inverse_affirmative(Unexpected1, Response, Rest),
       %%writeln("stop :  1.5.2"),
       inverse_affirmative(Response, Affirmative, Rest1),	 
       %%writeln("stop :  1.5.3"),


       %%atomics_to_string(Affirmative, ' ', Affirmation),	
       %%writeln("stop :  1.5.4"),


       atomic_list_concat(Complément1, ' ', Comp),
       %%writeln("stop :  1.3.5"),
       atomic_list_concat([Sujet2, Verbe2, Comp], ' ', Affirmation),
       %%writeln("stop :  1.3.6"),                     
       
       
       (is_list(Rest) ->
	    length(Rest, Rest_Length),
	    (Rest_Length \= 0 ->
		 atomics_to_string(Rest, ' ', Complement),
		 
		 write(Affirmation),
		 write(' '),
		 write(Complement), writeln('!') ;
	     
	     write(Affirmation), writeln('!'))
	;
	write(Affirmation), writeln('!'))
      )
	  /*                                                                   */
	  /*********************************************************************/
     )
    ),
    pnl.


/* saving database */
savepe :-
    tell('subjects.pl'), listing(sujet(_)), told,
    tell('verbs.pl'), listing(verbe(_)), told,
    tell('complements.pl'), listing(complément(_)), told,
    tell('facts.pl'), listing(lire(_, _, _)), told.

/* loading database */
loadpe :-
    consult(subjects),
    consult(verbs),
    consult(complements),
    consult(facts).

/* initialization */
initpe :-
    write("Initialize with : "),
    read(P),
    writeln(P),
    split_string(P, ' ', "", L),
    defrag(L, Sujet, Verbe, Complément),
    écrire(Sujet, Verbe, Complément).

mainpe :-
    (not(loadpe) -> initpe, savepe,
		    (pnl -> true;
		     savepe)
     ;     
     (pnl -> true;
      savepe),
     savepe).


/************************************************************/
/* the next predicates is just an test of logical traitement */
full_antinomie(Left, Right) :- (antinomie(Left, Right)
				; antinomie(Right, Left)).

full_synonyme(Left, Right) :- (synonyme(Left, Right)
				 ; synonyme(Right, Left)).


full_no_analyze([X|R], S, R) :-
    
    (search_synonyme(X, Y),
     search_antinomie(Y, A),
     search_synonyme(A, S)
     ;
     search_antinomie(X, S)
     ;
     S = X).
					    
full_yes_analyze([X|R], A, R) :-

    (search_antinomie(X, Y),
     search_synonyme(Y, S),
     search_antinomie(S, A)
     ;
     search_synonyme(X, A)
     ;
     A = X).



logic(X, Y) :- full_antinomie(X, A1), full_antinomie(Y, A2), not(antinomie(A1, A2)), synonyme(A1, A2).
against(X, Y) :- full_synonyme(X, S1), full_antinomie(Y, S1), not(synonyme(S1, S2)).

/*  end test (see main test/3)                           */
/*******************************************************/

/***************************************************/
/* Main test :                                     */

full_inverse_affirmative([Subject, Verb | Complement], [S, V, C], Result) :-
    
    full_yes_analyze([Subject], S, Substring),

    full_yes_analyze([Verb], V, Substring),
    
    full_yes_analyze(Complement, C, Result),

    full_yes_analyze([Rest], Result, Substring).

full_inverse_interrogative([Verb, Subject | Complement], [V, S, C], Result) :-
    (full_yes_analyze([Subject], S, Substring),
	 
	 full_yes_analyze([Verb], V, Substring),
	 
	 full_yes_analyze(Complement, C, Rest), !,
	 
	 full_yes_analyze([Rest], Result, Substring)
		
     ;
     full_no_analyze([Subject], S, Substring),
     
     full_no_analyze([Verb], V, Substring),
     
     full_no_analyze(Complement, C, Rest), !,

     full_yes_analyze([Rest], Result, Substring)).
     


logical_affirmative_test(Subject, Verbe, Complement) :- logic(S_Left, S_Right), logic(V_Left, V_Right), logic(C_Left, C_Right), full_inverse_affirmative([S_Right, V_Right, C_Right], [Subject, Verbe, Complement], R).
against_affirmative_test(Subject, Verbe, Complement) :- against(S_Left, S_Right), against(V_Left, V_Right), against(C_Left, C_Right), full_inverse_affirmative([S_Right, V_Right, C_Right], [Subject, Verbe, Complement], R).



logical_interrogative_test(Verbe, Subject, Complement) :- logic(S_Left, S_Right), logic(V_Left, V_Right), logic(C_Left, C_Right), full_inverse_interrogative([V_Right, S_Right, C_Right], [Verbe, Subject, Complement], R).
against_interrogative_test(Verbe, Subject, Complement) :- against(S_Left, S_Right), against(V_Left, V_Right), against(C_Left, C_Right), full_inverse_interrogative([V_Right, S_Right, C_Right], [Verbe, Subject, Complement], R).


theory(S, V, C) :- against_interrogative_test(V, S, C), logical_affirmative_test(S, V, C).

antitheory(V, S, C) :- against_affirmative_test(S, V, C), logical_interrogative_test(V, S, C).

test(S, V, C) :- antitheory(V, S, C), theory(S, V, C).

Les version suivantes seront ici : https://sourceforge.net/projects/psys/

**arknos** · 06/04/2018, 11h40

Bonjour,
Je reviens parce que j'ai posté, un peu trop top.
Je débute avec Prolog et la complexité du langage m'avait un peu perdu.

Dans les version suivante, j'ai supprimé la majorité des reformulation des forme affirmative et interrogative.

Le programme perd un peu de charme pour le moment mais est fonctionnel à peu près dans la version 1.1.4 disponible en suivant le lien ci-dessus.

Je reviens dans quelque jours avec la suite du programme ; Je l'espère.
Merci pour votre compréhension.

Merci pour vos retours dont je suis gourmant.

Bons tests. Et bonnes continuations.

**arknos** · 06/04/2018, 19h59

Bonjour,
Je poste une démonstration avec la version 2.2.4.a.

Le programme affiche 2.2.3.a mais j'ai changé la version avant de poster le paquet tgz sur sourceforge.

Comme je l'explique plus bas les fichiers contenu dans l'archives ne sont pas vide ; Il contienne les fait suivant.

Exécution avec Swi-Prolog : "swipl goals.pl"

psys/0 is user control to access shell written with Prolog.
Program name : [psys]
Release : 2.2.3.a
who are you?
username : arknos.
what machine are you?
[animal,computer]
|: animal.
what animal are you?
[human]
|: human.
What human are you?
[men,woman]
|: men.
Assertion men(X)
what machine are you?
[animal,computer]
|: animal.
What language are you?
[bash,tcsh,csh,prolog,other]
|: other.
Hello sir arknos!
We are compatible systems!
|: shall i play game?
shall i play game?
yes/no?|: yes.
|: shall you play game?
shall you play game?
yes/no?|: yes.
|: shall we play game?
shall we play game?
yes/no?|: yes.
|: i shall play game!
Yes, i shall like game!
|: shall we like game?
No, but :
we shall play game!

shall we like game?

yes/no?|: no.
|: i like play game!
No, like i play game?
yes/no?|: no.
|: ERROR: /home/manu/psys/goals.pl:23: Initialization goal raised exception:
ERROR: char_code/2: Cannot represent due to `character_code'
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- savepe.
true.
what machine are you?
[animal,computer]
|: animal.
what animal are you?
[human]
|: human.
What human are you?
[men,woman]
|: men.
Assertion men(X)
what machine are you?
[animal,computer]
|: animal.
What language are you?
[bash,tcsh,csh,prolog,other]
|: other.
Hello sir arknos!
We are compatible systems!
|: shall i play game?
shall i play game?
yes/no?|: yes.
|: shall you play game?
shall you play game?
yes/no?|: yes.
|: shall we play game?
shall we play game?
yes/no?|: yes.
|: i shall play game!
Yes, i shall like game!
|: shall we like game?
No, but :
we shall play game!

shall we like game?

yes/no?|: no.
|: i like play game!
No, like i play game?
yes/no?|: no.
|: ERROR: /home/manu/psys/goals.pl:23: Initialization goal raised exception:
ERROR: char_code/2: Cannot represent due to `character_code'
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- savepe.
true.

?- savepsys.
true.

?-

Après quoi j'ai corrigé sensiblement mais je ne me souviens pas très bien dquoi exactement si ce n'est d'avoir ajouté le write("No, ") dans le traitement (interrogative ou affirmative me souviens pas non plus).

Mais ça semble fonctionner correctement.

Voici ce à quoi vous attendre si vous copier les même requête donc en cas de réutilisation des fichier subjects, verbs, complements, facts.

psys/0 is user control to access shell written with Prolog.
Program name : [psys]
Release : 2.2.3.a
who are you?
username : arknos.
what machine are you?
[animal,computer]
|: animal.
What language are you?
[bash,tcsh,csh,prolog,other]
|: other.
Hello sir arknos!
We are compatible systems!
|: shall i play game?
Yes, i shall play game!
|: shall you play with me?
No, but :
you shall play game!

shall you play with me?

yes/no?|: yes.
|: shall i play first?
No, but :
i shall play game!

shall i play first?

yes/no?|: yes.
|: i shall play with you!
No, but :
i shall play game!
i shall play first!

shall i play with you?

yes/no?|: yes.
|: shall you play second?
No, but :
you shall play game!
you shall play with me!

shall you play second?

yes/no?|: no.
|: ERROR: /home/manu/devel/Projects/All/Prolog/psys/psys/goals.pl:23: Initialization goal raised exception:
ERROR: char_code/2: Cannot represent due to `character_code'
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?-

Voilà, vous savez tout pour l'instant T vendredi 06 avril 2018 19:30:00 CET.

Le programme dans un premier temps afficher les information sur le programme,
Demande en suite un nom d'utilisteur afin de vous reconnaître à l'utilisation suivante (a condition d'utiliser savepsys/0
Il demande en suite si vous êtes un ordinateur ou un animal, puis un homme ou une femme dans un cas ou un langage dans l'autre.
Les divers langage présenté ici sont bash csh tcsh Prolog other.

Les 4 premier vous conduise à un nouvel interpréteur peut-être pour la vie.

Le dernier vous conduit à l'interpréteur pnl ; Ici, le programme attend une phrase ponctué d'un caracter final de forme affirmative ou interrogative :
- Sujet verbe complément. ou !
- verbe sujet complément?

Le programme vous réponds en fonction de ses connaissance,
Si il connaît le fait exact, il confirme, le fait. Si non ;
Si il connais un fait formé du même verbe ou complément il les affiche avant de demander confirmation pour l'ajout du fait proposé en cours.
Si non, il demande confirmation pour ajouter le fait en cours.

Au cas ou vos soyez (comme moi) débutant avec Prolog, le prédicat psys/0 est le prédicat principal.
Le prédicat savepsys/0 sauvegarde les prédicat men/1 et woman/1 dans machines.pl.
le prédicat savepe/0 sauvegarde les sujet les verbe et les complément dans les fichiers corespondant par leurs nom ; Ainsi que le prédicat lire/3 dans facts.pl

Si je peu vous renseigner ?

**arknos** · 06/04/2018, 21h52

Bonjour ou bonsoir à présent.
Je me suis dit puisque ça à l'air de marcher comme ça.
J'ai réintroduit la conversion pour le sujet d'une phrase grâce au prédicat no_analyze/3 dans chacun des bloc conditionel du prédicat pnl/0 au moment d'interroger l'utilisateur, et à l'écriture du fait ; Dans la version 2.2.5.a donc.

Maintenant il faux que j'écrive le reste du système.

A bientôt.

Edit : entre temps je réintègre également un yes_analyze/3 pour convertir le verbe dans la version 1.3.1.a.
J'ai également stadardisé l'utilisation des predicats subject/1 verb/1 complement/1 et fact/3 depuis la 2.3.0.a

**arknos** · 08/04/2018, 14h55

Bonjour,

Rapidement, je vous poste le Change.log pour la version 2.4.2.b.

ChangeLog :

Saise de la chaîne de ceractères dans pnl/0 précédant l'appel à pnl_dialog/2.

Suppression des synonyme et antinomie portant sur les sujets (ex : synonyme(me, i)).

Utilisation de "yes_analyze" pour le sujet à l'instar de "no_analyze" dans pnl_dialog/2.

Revision des code de tests et listing :
- utilisation des prédicats "inverse_*" à l'instar des "full_invers_*"
- correction et complétion des prédicats de tests appelants pnl_dialog/2.

J'ai oeuvré principalement pour ouvrir le champ de la sémantique possible avec ce programme.

Evidemment, encore, je n'ai pas tout testé.

J'espère que vous aurrez aujoud'hui entendu le principe proposé.

Je vous invite à lire ou relire les codes dans leur entièreté (c'est pas bien long).

Si je n'ai pas pensé à quelque chose, merci de me retourner le quelque chose !

Attention les fichiers de faits ne son pas vide. Laissez au moins la spécification dynamique des prédicat au cas ou vous souhaiteriez les vider.

La dernière version 2.4.2.b : une petite prise de vu avec le prédicat synthesis_list/0

ultimate:~/psys$ swipl goals.pl
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- loadpe.
true.

?- synthesis_list.
[he,love,die]
[he,love,game]
[he,love,love]
[i,love,die]
[i,love,game]
[i,love,love]
[she,love,die]
[she,love,game]
[she,love,love]
[they,love,die]
[they,love,game]
[they,love,love]
[we,love,die]
[we,love,game]
[we,love,love]
[you,love,die]
[you,love,game]
[you,love,love]
true.

?-

synthesis_list, ça devrait retourner la liste des combinaison de [tous les sujet subject/1, les verbe anyant un synonyme et une antinomie commune, un complément ayant un synonyme et une antinomie commune).
(Mais c'est pas certain).

Bon, c'est pas parfait encore. (sur l'instant je me demande comment je pourait trouver game et love ou die en même temps.

Mais je vous tiens au courant.

bon dimanche.

**arknos** · 08/04/2018, 16h04

Bonjour, ou bien rebonjour,

Je reviens pour la sémantique du prédicat synthesis_list.

Normalement enfin, pour moi pour le moment, je pense que Prolog devrait retourner false, ou no.

Je viens de renforcer ma base de faits de synonyme et antinomie et synthesis list est vide par défaut intuitivement.

Par contre, logical, renvoie bien la liste voulue, ainsi que against.

Voici ma base perso pour les synonymes et antinomie pour commencer rapidement une base.

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
/* against terms */
antinomie(reality, game).
antinomie(peace, war).
antinomie(he, she).
antinomie(something, nothing).
antinomie(false, true).

/*against verbs */
antinomie(win, loose).
antinomie(die, live).


/* yes -> True -> Positive / no -> False -> Negative */
synonyme(no, negative).
synonyme(negative, false).
synonyme(yes, positive).
synonyme(positive, true).
synonyme(affirmative, positive).


/* same terms */
synonyme(life, game).
synonyme(forever, eternaly).
synonyme(intelligent, genial).
synonyme(power, will).
synonyme(freedom, reason).
synonyme(game, abstract).

/* same verbs */

synonyme(love, like).
synonyme(play, love).
synonyme(live, like).

Parce que j'ai pas terminer, imaginez que vous deviez entré les synonyme et antinomies à la main c'est peut-être pas pratique.

Enfin, je cherche encore.

Bonne continuations à nouveau.

J'ai oublié dans le change.log de mentioner l'abandon de is_affirmative/2,;
J'utilise is_affirmative/1 dans dialog_pnl/2

Edit 4, finalement après les dernière correction, ça change tout.

Revoilà la base corrigé ou du moins presuqe parfaite.

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
/* against terms */
antinomie(reality, game).
antinomie(peace, war).
antinomie(he, she).
antinomie(something, nothing).
antinomie(false, true).

/*against verbs */
antinomie(win, loose).
antinomie(die, live).


/* yes -> True -> Positive / no -> False -> Negative */
synonyme(no, negative).
synonyme(negative, false).
synonyme(yes, positive).
synonyme(positive, true).
synonyme(affirmative, positive).


/* same terms */
synonyme(life, game).
synonyme(forever, eternaly).
synonyme(intelligent, genial).
synonyme(power, will).
synonyme(freedom, reason).
synonyme(game, abstract).

/* same verbs */

synonyme(love, like).
synonyme(play, live).

Et voici la liste synthesis_list.

?- synthesis_list.
[he,live,false]
[he,live,game]
[he,live,live]
[he,live,true]
[i,live,false]
[i,live,game]
[i,live,live]
[i,live,true]
[she,live,false]
[she,live,game]
[she,live,live]
[she,live,true]
[they,live,false]
[they,live,game]
[they,live,live]
[they,live,true]
[we,live,false]
[we,live,game]
[we,live,live]
[we,live,true]
[you,live,false]
[you,live,game]
[you,live,live]
[you,live,true]
true.

?-

Alors ?????

Ben elle est pas vide.

je sais plus ou j'en était ! Bon j'ai une liaison Prolog/ Ada à écrire.

**arknos** · 08/04/2018, 22h28

Bonsoir à l'heure qu'il est !

Les révision s'imposaitent encore, je pense avoir fait le tour de cette pré - version.

Entre autre une erreur de syntaxe dans is_affirmative/1

Plus une erreur de parenthèse mais bon les code on beaucoup bouger pour faire les tests.

toujour consult(goals).

puis psys, ou loadpe puis pnl pour accéder directement à la base de faits.

Les prédicat de test ne donnent rien par défaut normalement.
Il faut d'abord renseigner la base, et eventuellement les faits synonyme et antinomie supplémentaire ou retirer les exédants.

Merci pour votre écoute en tout cas.

**arknos** · 10/04/2018, 21h44

Bonjour, ou bonsoir.

Il aura fallu attendre le version 3.3.0 pour enfin avoir un protoype fonctionnel et ... peut-être quelque chose de parfait ; En tout cas dans son état.

Je vous laisse découvrir les nouveaux codes dont voici un extrait :

Alors le changement important, c'est l'utilisation d'un prédicat no_parse ou yes_parse, pour parser le complément en entier avec la logique des synonymes et antinomies.

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
/******************************************************************************/
/*                      Parsing list for Complement                           */
/*                                                                            */

yes_parse([], []).
yes_parse([S|L], [T|Vide]) :-
    yes_analyze(S, T),
    yes_parse(L, Vide).

no_parse([], []).
no_parse([S|L], [T|Vide]) :-
    no_analyze(S, T),
    no_parse(L, Vide).
/*                                                                            */
/*                                                                            */
/******************************************************************************/

Avec les prédicats no_parse et yes_parse j'otenait des list imbriquées, alors j'uilise unlist :

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
/******************************************************************************/
/* extracting list from list of list of list                                  */
list([E], E).
unlist(Lists, List) :-
    nth0(0, Lists, E),
    (is_list(E) ->
         list(Lists, List),
         nth0(0, List, F),
         (is_list(F) ->
              unlist(List);
          true);
     true).
/*                                                                            */
/*                                                                            */
/******************************************************************************/

Et le plus important j'ai écrit quelque commentaires de ce genre :

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
/******************************************************************************/
/*                                                                            */
/*                                                                            */
/*                                                                            */
/*                   psys is prototype Prolog part of anpe                    */
/*                                                                            */
/*                                                                            */
/*                                                                            */
/******************************************************************************/
/*                                                                            */
/*                                                                            */
/*     This program is written             ********  *****  **    **  *****   */
/*     with Prolog programming language.   **    ** **   **  **  **  **   **  */
/*     The text before the character '%'   **    **  ***      ***     ***     */
%%     or between '/*' '*/' is an comment. ********    ***     **       ***   */
/*     An comment have no effect over      ***      **   **     **   **   **  */
/*     the program.                        ***       *****       **   *****   */
/*                                                                            */
/*                                                                            */
/******************************************************************************/

Le fichier principale de ce programme est nommé goals.pl.

Il s'exécute en appelement consult(goals) depuis l'invite Prolog.

une commandehelp liste l'ensemble des prédicat écrit à l'attention de l'utilisateur.

si non il faut lire les sources.

ou tester psys/0.

Si vous trouvez un bug, je suis preneur.

3.3.1.a, j'ai une autre modification à apporter : je doit revalider les ligne d'inversion dans les prédicat de listing.

J'ajoute donc des ligne de ce genre dans les predicat de listing entre les ligne 1042 et 1120.

Code :

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

1
2
3
    inverse_affirmative([S_1, V_1, C_1],
                        [Subject, Verbe, Complement], R),
    inverse_affirmative([Subject, Verbe, Complement], [S, V, C], Rest).

Les prédicat les utilisant ne renvoyant pas le même résultat.

La durer de traitement peut variez selon les prédicats de 2s, à 10minutes.

attention au prédicat synthésis sur lequel je suis indéci pour l'ordre d'appel.

Code :

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

synthesis(S, V, C) :- logical_theory(S, V, C), against_theory(S, V, C).

Renvoyez false dans la version 3.3.0.a.

Suite à l'insertiondes lignes précédente, le résultat est une asser long liste des combinaisons.

Voilà, cette fois je crois que je reviens pas après un bon moi de travail.

**arknos** · 11/04/2018, 00h00

Version finale finalement 3.3.2.a de ce prototype.

Le prédicat synthesis_list prends environ une demi heure en l'état.

Si non, vous pouvez utiliser pnl normalement.

Quelque astuce intra programme pour faire des requêtes sans avoir à sortir du prompt :

?- pnl.
|: love how what?
No, but :
i love computer!
Ada love London!
Ada love abstract!
Ada love compatible!
Ada love computer!
Ada love freedom!
Ada love game!
Ada love life!
Ada love power!
Ada love reality!
Ada love reason!
Ada love war!
Ada love will!

like how what?

yes/no?|: no.
|: live who where?
No, but :
i live New York!
i live in USA!
Ada live London!
Ada live abstract!
Ada live compatible!
Ada live computer!
Ada live freedom!
Ada live game!
Ada live life!
Ada live power!
Ada live reality!
Ada live reason!
Ada live war!
Ada live will!

play who where?

yes/no?|: no.
|: Prolog is what?
No, but :
Prolog is my friends!
Ada is my friends!

is Prolog what?

yes/no?|: no.
|: arknos is the best!
No, but :
Prolog is my friends!
Ada is my friends!

is arknos the best?

yes/no?|: yes.
|: is who the best?
No, but :
Prolog is my friends!
Ada is my friends!
arknos is the best!

is who the best?

yes/no?|: no.
|: ...

false.

Bon il y a un fait qui tache un peu j'ai fait une erreur de traitement lors d'un test.

Bonne vacance.

N'oubliez pas de sauvegarder avant de sortir de Prolog. avec savepsys et savepe.

**arknos** · 11/04/2018, 12h37

Bonjour, parce que du coup je suis passé à la version 4.0.1.b donc la prochaine sera plus proche de 5 ou 6.

Pour vous exposer au mieu l'idée, j'ai fait un graphe structural du système anpe dans sont entiéreté.

Les blocs "local database", "remote Neural network" et remote database représente la dépence du système aux fichier de données "sur disques".

anpe client est un client anpe écrit avec Prolog.
anpe server est un serveur anpe écrit avec Ada.
anpe engine est un serveur anpe écrit avec Prolog.

anpe server est fil d'exécution aliant service local et appel à un service distant (ici le serveur Prolog anpe engine).

En image :
Nom : anpe-architecture.png
Affichages : 192
Taille : 4,7 Ko

Nom : anpe-architecture.png
Affichages : 192
Taille : 4,7 Ko

Un prototype de fil d'exécution côté anpe serveur avec Ada à présent :

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
task body An_Thread is

      Command       : String_Access;

      -- when command = "sample-add"                                           
      Sample_Input  : String_Access;
      Sample_Output : String_Access;

      -- when command = "respond"                                              
      Request : String_Access;
      Response : String_Access;

      Channel : Stream_Access := Stream(Socket.all);

   begin
      accept Get_Id(Id : out Task_Id) do
         Id := Current_Task;
      end Get_Id;
      -- begin client Anp.                                                     
      loop
         Command := new String ' (String'Input(Channel));
         Put_Line("Command : " & Command.all);
         if Command.all = "sample-add" then
            Sample_input := new String ' (String'Input(Channel));
            Sample_Output := new String ' (String'Input(Channel));

            Put_Line("Add samples : ");
            Put_Line("              input  => " & Sample_Input.all);
            Put_Line("              output => " & Sample_Input.all);
            New_Line;
            Put_Line("Adding sample...");

            -- add(Sample_Input, Sample_Output);                               

            Put_Line(" done.");

         elsif Command.all = "respond" then
            Request := new String ' (String'Input(Channel));
            Put_Line("Respond : ");
            Put_Line("              request  => " & Request.all);
            --------------------------------                                   
            --             ECHO           --                                   
            --                            --                                   
            -- Just an echo for test.     --                                   
            --                            --                                   
            Response := new String ' (Request.all);
            -- Anservice.Respond(Request, Response);                           
            --                            --                                   
            --                            --                                   
            --------------------------------                                   
            Put_Line("              response  => " & Response.all);
            String'output(Channel, Response.all);
         end if;
      end loop;
   exception
      when others =>
         -- End anp client.                                                    
         raise;
   end An_Thread;

Ce thread ayant vocation à sevir un système neurol-linguistique et en même temps d'être client d'un service logico-linguistique :
Comme vous pouvez le lire, seul deux mode d'exploitation sont prévu pour le moment :
- sample-add devant assurer l'ajout d'un exemple pour le réseau de neurones ;
- respond devant assurer une réponse linguistique en réponse à une requête linguistique.

Au plaisir de vous lire.

Edit : j'ajoute pour votre entendement un exemple de dialogue (virtuel) attendu en fin de projet.

E1 et R1 est un utilisateur écrivant et lisant le text à destination et en provenance de la machine notée E2 et E3 ; E2 et E3 étant deux machine distantes de E1 ; E2 écrivant à E3 et E3 répondant à E2, puis finalement E2 répondant à l'utilistaeur.

E1 : i know what you think!
E2 : i think what you build!
E3 : build i what you say?
E2 : say i what you think?
R1 : i think what you know!

dans le cas d'un simple écho prévu à l'état initial du programme, E1 est la requête utilisateur et R1 la réponse attendu.

**arknos** · 12/04/2018, 20h28

Et l'intelligence artificiellle fut ?

?- loadpe.
true.

?- pnl.
|: you keep what i want!
No, maintain what want want?

yes/no?|: no.
|: do i maintain what you maintain?
No, i do what what you?

yes/no?|:

Ici le programme lit simplement une ligne de texte, l'envoie à un réseau de neurones artificiel qui retourne un text qui est traité en suite localement.

Il reste un serveur avec Prolog à écrire.

Ce programme est disponible désomais sous son nom anpe sur sourceforge.net : https://sourceforge.net/projects/anpe

Merci pour vos retours.

**arknos** · 15/04/2018, 10h36

Bonjour,

Bienvenu sur le fil.
Je viens vous demander votre contribution pour trouver la cause du bug.

Le bug est le suivant : selon la réponse du serveur Ada, il manque le prémier ~~caractère~~ de la réponse au moment de l'affichage de celle ci.

Merci pour votre contribution, en vous souhaitant bonnes continuations et bon dimanche.

Edit, des atomes en lieu et places des caractères, parce que c'est une liste Prolog,

Exemple :

?- pnl.
|: do you maintain what i deduce?
i dont know, do you you what i force
but :
i do what you become!

do you maintain what i deduce?

yes/no?|: no.
|: do i want what you are forcing?
no, do i stand what you you?
but :
i do what you become!

do i want what you are forcing?

yes/no?|: no.
|: do you want what i want?
no, o you understand what i ?
but :
i do what you become!

do you want what i want?

yes/no?|:

Alors que côté serveur, j'ai une ligne complète

Respond :
request => do you want what i want?
do you want what i want?
service call...
Anpe engine call(input, output
i maintain what you i
service call...
response => do you understand what i ?
Response length => 27

:

Enigme, "je supprime l'utilisation de list_tail/2 et même de output_to_list qui n'est pas utile ici. dans la prochaine version : 0.4.2b." Mais le problème reste le même donc.

Edit 2
Et parfois : un caractère est présent avant la chîne originelle.

yes/no?|: no.
|: do you deduce what i maintain?
i dont know, "do you constrain what i foreseeyou
but :
i do what you become!

ici le double-guillemets.

**arknos** · 15/04/2018, 15h53

Bonjour,
J'ai écrit 7 prédicats supplémentaire d'arité 3.

Les prédicats sont ceux des tests dont le nom est précédé de 'p_' tel que : p_logical_test/3.

les trois parametre des prédicat de test sont soit : le sujet le verbe le complément dans une forme affirmative, soit le verbe le suje et complement dans une forme interrogative.

Ce qui pemet de faire des test de ce genre :

Code :

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

?- p_synthesis_test(i, V, C).

En version 0.4.4b, ou i pourrait être un S pour Subject, V est le Verbe, C, le Complément.

Bonne continuations.

**arknos** · 16/04/2018, 04h33

~~Vous pouvez joindre le fichier suivant par exemple aux exemples pour le réseau de neurones.~~

Vous pouvez donner en seconde passe le fichier suivant a votre réseau de neurone par exemple.

i live where i am!
i think what you live!
you live where i think!
i think what you like!
you like what is beautiful!
i like what is life!
you prefer what is good!
i like what is love!
you want what is good!
like you what is peace?
i hope what is great!
know you what is reason?
i have what is wonderful!
you know what is freedom!
i have what is will!
i know what is power!

Ce qui peut amener à une logique purement intra- neural network.

exemple avec pnl : (ou je lui répète un peu ce qu'il dit pour avoir l'inverse.

histoire de refléter ma propre pensée.

|: good is what is not bad!
i dont know, i what life ! i
is good what is not bad?

yes/no?|: no.
|: you are what is life!
i dont know, i willyou what life ! what
are you what is life?

yes/no?|: no.
|: i will you what life !
i dont know, "? beautiful what good freedom! i
will i you what life?

yes/no?|: no.
|: you constrain what i stand!
i dont know, ? beautiful deduce good ! what
|: i deduce what you want!
i dont know, i reason what is freedom! i
but :
you deduce what i stand!

deduce i what you want?

yes/no?|: no.
|: you reason what is freedom!
i dont know, ? reason deduce peace ! what
reason you what is freedom?

yes/no?|:

Un petit dernier pour l'exemple :

?- pnl.
|: i have what is life!
Yes, i hope what is reason!
have i what is life?

yes/no?|: yes.
|:

Il vous faudra modifier les source du service Ada pour effectuer l'apprnetissage necéssaire en modifiant la valeur de max_epoch à l'initialisation.

Edit : ou donnez plutôt celui ci : avec une fomrulation smemblable à celle du premier set.

i live where i am!
i think what you live!
you live where i think!
i think what you like!
you like what beautiful is!
i like what life is!
you prefer what good is!
i like what love is!
you want what good is!
like you what peace is?
i hope what great is!
know you what reason is ?
i have what wonderful is!
you know what freedom is!
i have what will is!
i know what power is!

Mettez 6500 epochs pour le train initial et 2500 pour la seconde passe.

**arknos** · 18/04/2018, 23h39

Bonjour, ou bonsoir,

Vous trouverez à l'endroit habituel, les sources de la version 0.5.1a sensiblemetn différente.

En effet, le programme exécute un double appel au serveur avant de traiter en local cette fois la seconde réponse du seveur à la place de celle de l'utilistaur ; Le dialog sensiblement différent toujours avec autant de répartie, mais beaucoup d'erreur de syntaxe (manque d'espaces).

Exemple :

|: what are you doing?
Yes, i love what love isyouam!
live you want i want?

yes/no?|: no.
|: yes, i live where i am!
Yes, i conceive read great life building whatyou!
what i will isyou?

yes/no?|:

En vous souhaitant bonnes continuations !

[ANPE][Ada Neural Prolog Engine] [Open Source] le prototype de la première moitié des programmes Prolog.

Mon programme

Discussions similaires

Partager

Partager