Michael Sjöberg

% vertex/1
:- dynamic vertex/1.
vertex('A').
vertex('B').
vertex('C').
vertex('D').

?- vertex(X).
% X = 'A' ;
% X = 'B' ;
% X = 'C' ;
% X = 'D'.

% edge/2
:- dynamic edge/2.
edge('A', 'B').
edge('B', 'A').

edge('A', 'C').
% edge('C', 'A').

edge('C', 'D').
edge('D', 'C').

?- edge('A', X).
% X = 'B' ;
% X = 'C'.

% graph/1
:- dynamic graph/1.
graph(['A', 'B', 'C', 'D']).

?- graph(X).
% X = ['A', 'B', 'C', 'D'].

% undirected_edge/2
undirected_edge(X, Y) :-
    edge(X, Y),
    edge(Y, X).

?- undirected_edge('A', X).
% X = 'B' ;
% false.

% remove_edge/2
remove_edge(X, Y) :-
    edge(X, Y),
    retract(edge(X, Y)).

?- remove_edge('A', 'B').
% true ;
% false.

?- edge('A', 'B').
% false.