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"].

?-