# $Id: some-rules,v 1.1 2000/07/12 19:13:32 connolly Exp $
# these are for use with
# the tinyprolog harness at
# http://www.ilrt.bris.ac.uk/discovery/rdf-dev/rudolf/js-rdf/

#short forms
first(L, I) :- triple({http://www.w3.org/2000/07/23-lists#first}, L, I).
rest(L1, L2) :- triple({http://www.w3.org/2000/07/23-lists#rest}, L1, L2).
empty(L) :- rest(L, {http://www.w3.org/2000/07/23-lists#empty}).

member(I, L) :- first(L, I).
member(I, L) :- rest(L, L2), member(I, L2).

mailbox(P, M) :- triple({mid:2000-07-12-vcardish-stuff@w3.orgmailbox}, P, M).
called(P, N) :- triple({http://www.w3.org/2000/01/rdf-schema#label}, P, N).

scribe(M, P) :- triple({mid:2000-07-12-meeting-stuff@w3.orgscribe}, M, P).
date(M, D) :- triple({mid:2000-07-12-meeting-stuff@w3.orgdate}, M, D).