remote.pl
:- source('
www.cs.vu.nl/~eliens/db/se/people.pl'
). :- source('
www.cs.vu.nl/~eliens/db/se/institute.pl'
). :- source('
www.cs.vu.nl/~eliens/db/se/property.pl'
). :- source('
www.cs.vu.nl/~eliens/db/se/query.pl'
).