Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Manipulación de términos. Predicados metalógicos

No description
by

Debbie Pacheco

on 23 November 2015

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Manipulación de términos. Predicados metalógicos

Manipulación de términos. Predicados metalógicos
Ejemplo:
Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
Este predicado permite extraer el functor y la aridad de un término cualquiera.
Pero, al ser reversible, también permite construir nuevos términos a partir del functor y la aridad deseada.
Los modos de uso son:
Ejemplo:
El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).

Functor = termino
Aridad = 1
Yes

Comparacion de Terminos no basicos
Predicados de Clasificacion

Predicados meta-lógicos
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la meta-programación.

Ésta consiste en construir programas que manipulan otros programas proporcionando una mayor expresividad al lenguaje.
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).
Full transcript