SoloCodigo

Hola migos, soy nuevo en el foro y la verdad es que tengo una duda, estoy haciendo un sistema experto en prolog, ya puedo hacer preguntas y todo, va bien, pero hay algo que me inquieta, quiero agregar conociemto en tiempo de ejecucion, es decir quiero especificar reglas y que estas se mantengan a pesar que se cierre el programa.

Supongo que debe ser algo asi como el assert y el retract pero para reglas.


esto es una regla: esValido(C1,M1,X,Y):- bla,bla, bla .
esto es un hecho: creaTabla(X,Y,A).

Mi mail es malamigoforever@hotmail.com de antemano gracias por leer mi mensaje.