Prologue - Palindrome Foncteur

Je suis en train d'écrire un prédicat palindrome/1 en Prolog qui est vrai si et seulement si sa liste d'entrée se compose d'un palindrome liste.

par exemple:

?- palindrome([1,2,3,4,5,4,3,2,1]).

est vrai.

Des idées ou des solutions?

vous vous rendez compte vous pouvez supprimer vous-même? - ok question a été édité - il d'abord dit "s'il vous Plaît supprimer ce"...
Désolé, cette question n'a de réponses et ne peut pas être supprimé.

OriginalL'auteur Amjad | 2011-12-29

8

Un palindrome liste est une liste qui lit le même à l'envers, de sorte que vous pouvez inverser la liste pour vérifier si il donne la même liste:
```
palindrome(L):-
  reverse(L, L).
```
Merci ... DONC, fondamentalement, je dois créer un .pl fichier ajouter ce prédicat et consulter GNU prolog. droit?
C'est correct
Merci!!!! Je l'ai eu. 😀

OriginalL'auteur gusbro
8

Semble que tout le monde vote pour un arrière/2 en fonction de la solution. Je suppose que vous les gars ont un arrière/2 solution dans l'esprit qui est en O(n) de la liste donnée. Quelque chose avec un accumulateur:
```
 reverse(X,Y) :- reverse(X,[],Y).

 reverse([],X,X).
 reverse([X|Y],Z,T) :- reverse(Y,[X|Z],T).
```
Mais il y a aussi d'autres moyens de vérifier pour un palindrome. Je suis venu avec une solution qui rend l'utilisation de DCG. On peut utiliser les règles suivantes:
```
 palin --> [].
 palin --> [_].
 palin --> [Border], palin, [Border].
```
Quelle solution est la meilleure? Permet de faire un peu de statistiques via le profil
commande du Prologue du système. Voici les résultats:

Alors peut-être le DCG solution est souvent plus rapide dans le cas positif ("radar"), il n'a pas
construire l'ensemble de l'inverse de la liste, mais directement se déplace vers le milieu, puis
vérifie le reste lors de départ de son propre récursivité. Mais l'inconvénient de DCG solution
c'est qu'il est non-déterministe. Certaines mesures de temps dira plus...

Bye

P. S.: Port de la statistique réalisé avec les nouveaux plugable débogueur de Jekejeke Prologue:

http://www.jekejeke.ch/idatab/doclet/prod/en/docs/10_dev/10_docu/02_reference/04_examples/02_count.html

Mais d'autres Prolog systèmes ont des installations semblables. Pour plus d'informations, voir "Profileur de Code" colonne:

http://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations

Je ne suis pas sûr, mais il peut être le cas que l'inverse est un primitif, de sorte que le comptage des CERFs ne serait pas approprié. Et depuis, ça sonnait comme OP, c'était nouveau pour Prolog, il semble juste de dire de jeter une toute nouvelle syntaxe à lui/d'elle :). Petit plus pour le sujet, cependant.

OriginalL'auteur j4n bur53
5

Cette sure sons comme des devoirs à faire à la question, mais je ne peux pas m'en empêcher:
```
palindrome(X) :- reverse(X,X).
```
Techniquement, prolog foncteur n'est pas "retour" quoi que ce soit.

Eh bien, il doit retourner/sortie comme un "oui" à droite?
Prolog va répondre "oui", indiquant qu'il a satisfait avec succès à votre requête. Et à charge de ce programme, vous pouvez le faire directement à partir de l'invite de commandes (en utilisant 'affirmer'), mais il est beaucoup plus facile à mettre dans un fichier et de consulter ce fichier.
Merci! Je comprends maintenant! 😀

OriginalL'auteur Scott Hunter
1

Une autre façon, de le faire avec DCG:
```
palindrome --> [_].
palindrome --> [C,C].
palindrome --> [C],palindrome,[C].
```
Vous pouvez vérifier pour un palindrome comme ceci:
```
?- phrase(palindrome,[a,b,a,b,a]).
true.

?- phrase(palindrome,[a,b,a,b,b]).
false.
```
Pourquoi ces coupures?
Je ne sais pas pourquoi j'ai écrit. Supprimé.

OriginalL'auteur rpax

Vous pouvez utiliser :

palindrome([]).
palindrome([_]).
palindrome([X|Xs]):-append(Xs1,[X],Xs), palindrome(Xs1).

OriginalL'auteur Nourein

Vous devez vous connecter pour publier un commentaire.