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"
Comparte esta informaci贸n:
  • Digg
  • Sphinn
  • del.icio.us
  • Facebook
  • Mixx
  • Google Bookmarks
  • BarraPunto
  • LinkedIn
  • Technorati
  • TwitThis

Quiz谩 te interese :

  • % Author:Daniel Doctor % Date: 05/03/2006 fibonacci(0,1). fibonacci(1,1). fibonacci(N,F) : ...

  • Puedes utilizar este c贸digo en tus aplicaciones. C贸digo de Fibonacci en Visual Basic .Net 'D ...

  • Felicidades por el tercer lugar de prototipos tecnol贸gicos en el Encuentro de Emprendedores POLI ...

Acerca del autor: Daniel

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