Discussion :

[arknos]

Bonsoir,
je débute avec Prolog et je ne voudrais pas manquer quelque chose.
Comment avec prolog certifier un fait avec assertz d'arité 30 avec une liste même vide ?
Telle est la question !

S'il vous plait !!

Merci...

Voici mon code, en fait !!

Je souhaite supprimer les double quote dans la liste et appeller assertz/1 pour créer un nouveau prédicat "objet" (en fait) d'arité 30
avec la liste.

Code :

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

1
2
3
4
5
main :- open("text.txt", read, File),
        read_string(File, "\n", "\"\r\t", Length, Text),
        write("Length : "), write(Length), nl,
        close(File),
        writeln(Text).

L'exécution de mon programme :

swipl main.pl
Length : 10
Je lis une ligne de texte avec Prolog
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).

?- lire(X, Y, Z).
X = "Je",
Y = "lis",
Z = ["une", "ligne", "de", "texte", "avec", "Prolog"].

?-

[arknos]

Oups !
J'ai posé la question un peux vite en fait.
Mais ça y est c'est trop complliqué pour moi pour le moment, mais si vous passez par là et avez une réponse toute faite je suis preneur quand même !!
Par curiosité à présent.

Désolé pour le sujet presuqe déplacé.