Vérification de type Prolog

Est-il un moyen de déterminer le type d'un élément dans une liste dans le Prologue? Je sais que les variables ne sont pas explicitement tapé dans le Prologue, mais j'ai besoin de vérifier si un élément est un nombre, un caractère spécifique, etc. Comment cela peut-il être réalisé?

source d'informationauteur XBigTK13X | 2010-10-05

  1. 12

    Prolog définit un groupe de intégré dans les prédicats de type des fins de test: var/1atom/1integer/1float/1atomic/1compound/1nonvar/1number/1tous d'entre eux avec un auto-explicatif sens si vous connaissez les types de données de la langue. Pour des caractères spécifiques, vous pouvez exploiter l'unification avec ce personnage, après avoir vérifié que l'élément n'est pas une variable indépendante (sinon, l'unification est toujours réussie).

  2. 4

    Vous pouvez essayer ce code:

    isList([_|_]).
isList([]).

    Espère que cela aide.

  3. 2

    Pour vérifier si une variable est liée à une liste, vous pouvez utiliser is_list/1.

  4. 0

    à la liste de vérification que vous pourriez essayer:

    listing(is_list/1, list_functor/1).

is_list(X) :-
    functor(X, F, _),
    list_functor(F).

list_functor('.').
list_functor('[]').