Discussion :

[geeka]

bonjour,
je débute en Prolog, je trouve un problème dans cet exercice:
Exercice:
Lesquelles des séquences de caractères suivantes sont des variables, des
constantes, des atomes logiques(prédicats), des termes composés(fonctions) ? Donner le
foncteur et l’arité de chaque terme composé.

Code :

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

1
2
3
4
5
6
7
8
9
10
aime(maria, natation)
'aime(maria, natation)'
morsli(athlete)
athlete(morsli)
and(big(burger), cheese(burger))
and(big(X), cheese(X))
_and(big(X), cheese(X))
(morsli a_battu maria)
a_battu(morsli maria)
a_battu(morsli, maria)

[Trap D]

Il n'y a pas de fonction en Prolog, on manipule des prédicats.
Prolog n'évalue pas ses arguments.
Par exemple aime(maria, natation) est un terme composé, aime est un foncteur d'arité 2 car il a deux arguments qui sont des atomes maria et natation.
par contre 'aime(maria, natation)' est un atome puisque tout est écrit entre quote (').
Pour répondre plus avant, il faudrait connaître le Prolog utilisé.

[geeka]

merci bcp pour votre réponse, ça m'aide
je voudrais comprendre, il y a des parenthèses dans la séquence: 'aime(maria, natation)' pourquoi est-ce considéré comme une chaîne alphanumérique ?

[Trap D]

Attention, en Prolog tout ce qui est entre quote est un atome, c'est tout.
On peut ensuite "éclater" l'atome, mais c'est autre chose.
En Prolog, une chaine alphanumérique pourrait être une "string", un objet plus ou moins bizarre qui est une liste de codes de caractères interprétés à l'affichage comme une chaine de caractères.

?- X = "abc", write(X).
[97,98,99]
X = [97,98,99].

?- X = "abc", writef(X).
abc
X = [97,98,99].

[geeka]

ah oui, merci