Prolog Homework

database.pl

?- dynamic point/2.
?- dynamic male/1.
?- dynamic female/1.

shouldSave(point).
shouldSave(male).
shouldSave(female).
shouldSave(son).
shouldSave(addPath).
shouldSave(shouldSave).

point(a, [b, c]).
point(b, [c, d]).
point(d, [e]).

addPath(From, To) :-
	point(From, DestList),
	member(To, DestList).

addPath(From, To) :-
	point(From, DestList),
	\+ member(To, DestList),
	append(DestList, [To], NewDestList),
	retract(point(From, DestList)),
	assert(point(From, NewDestList)).

son(charles, mary).
daughter(mary, olivia).

query.pl

tell('save.pl'), forall(shouldSave(X), listing(X)), told.

save.pl

:- dynamic point/2.

point(a, [b, c]).
point(b, [c, d]).
point(d, [e]).

:- dynamic male/1.

male(max).
male(john).

:- dynamic female/1.

female(mary).
female(alex).

son(charles, mary).

addPath(From, To) :-
    point(From, DestList),
    member(To, DestList).
addPath(From, To) :-
    point(From, DestList),
    \+ member(To, DestList),
    append(DestList, [To], NewDestList),
    retract(point(From, DestList)),
    assert(point(From, NewDestList)).

shouldSave(point).
shouldSave(male).
shouldSave(female).
shouldSave(son).
shouldSave(addPath).
shouldSave(shouldSave).