rotar - prolog listing example

Comprobación de tipo Prolog

Question

¿Hay alguna forma de determinar el tipo de elemento dentro de una lista en Prolog? Sé que las variables no están escritas explícitamente en Prolog, pero necesito verificar si un elemento es un número, un personaje específico, etc. ¿Cómo se puede lograr esto?

Answer 1

numero 1

Ver también http://www.swi-prolog.org/pldoc/doc_for?object=section%282,%27F.1%27,swi%28%27/doc/Manual/predsummary.html%27%29%29

Answer 2

Prolog define un grupo de predicados incorporados para fines de prueba de tipo: var/1 , atom/1 , integer/1 , float/1 , atomic/1 , compound/1 , nonvar/1 , number/1 , todos ellos con un significado completamente autoexplicativo si conoces los tipos de datos del idioma. Para caracteres específicos, puede explotar la unificación con ese carácter, después de verificar que el elemento no sea una variable libre (de lo contrario, la unificación siempre es exitosa).

Answer 3

Puedes probar este código:

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

Espero eso ayude.

Answer 4

Para verificar la lista, puede probar:

listing(is_list/1, list_functor/1).

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

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

Answer 5

Para verificar si una variable está vinculada a una lista, puede usar is_list/1 .