Hi,
I'm having trouble inserting facts into an existing prolog file, without overwriting the original contents.
Suppose I have a file test.pl:
:- dynamic born/2.
born(john,london).
born(tim,manchester).
If I load this in prolog, and I assert more facts:
| ?- assert(born(laura,kent)).
yes...
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.