cmbrownfield

:- use_module(library(gensym)).
:- dynamic student/3.

gensym:gensym(student, S1).
gensym:gensym(student, S2).
student(S1, john, doe).
student(S2, jane, doe).

show_id_of_john :-
    student(ID, john, doe), write(ID).