Assert con SWI-Prolog

julio 16 2009Se el primero en comentar

Guardado en : Programación, Software Libre

Este es un ejemplo de como usar assert con Prolog.
% Author: Daniel Alejandro Doctor Soriano
% Date: 23/02/2006
:-dynamic progenitor/2.
progenitor(juan, pedro).
progenitor(luis, ernesto).
padre(X,Y):-progenitor(X,Y),write(X),write(' es el padre de '), writeln(Y), fail.
agrega_progenitor(X,Y):-assert(progenitor(X,Y)).
agrega_progenitor(marcos,andres).
% assert agrega un nuevo hecho a la base de conocimiento
% si escribimos asserta lo agrega al "inicio de la base"
% si escribimos assertz lo agrega "al final de la base"

Quizá te interese :

Acerca del autor:

Deja un comentario


Licencia y uso

Las técnicas demostradas en los tutoriales pueden ser utilizadas sin ninguna limitación y tampoco es obligatorio dar una atribución.


Los textos, imágenes y tutoriales son propiedad de sus respectivos autores, nuestro contenido se encuentra bajo licencia Creative Commons Share-Alike.

Escribe algo para el sitio

El escribir un tutorial o un artículo, mandarnos un enlace para Ubicuos, no solamente es una forma de obtener publicidad, si no también de dar algo a la comunidad y nosotros te lo recompensamos con los premios del mes! Leer más de nuestras promociones

¿Sugerencias?

Este es TU sitio, si tienes sugerencias o ideas de cómo podemos mejorarlo para ti, ¡Por favor háznoslos saber!

Hacemos nuestro mayor esfuerzo en proporcionar un sitio útil y amigable y esperamos que disfrutes tu tiempo aquí.

Ayuda a Difundir

Te gusta Ubicuos?

Ve las formas en que nos puedes apoyar.

Apoyando a Ubicuos.com

Submit your linkClose

-->