%
% File: travel.ldl
%
% Demo for showing LDL++ with the local Travel database
%

database( {
		ldl_client(CLLNAME:string, CLFNAME:string, CLSECTOR:string, CLCELL:string)
	}).

export ldl_client(A, B, C, D).
export ldl_client($A, B, C, D).
export ldl_client($A, $B, C, D).
export ldl_client($A, $B, $C, D).
export ldl_client($A, $B, $C, $D).
export join1(A, B, C, D).
export join2(W, X, A, B, Y).
export insert_client($W, $X, $Y, $Z).
export delete_client($W, $X, $Y, $Z).

join1(W, X, Y, Z) <-
	ldl_client(W, X, Y, Z),
	ldl_client(W, X, Y, Z).

join2(W, X, A, B, Y) <-
	ldl_client(W, X, Y, _),
	ldl_client(A, B, _, Y).

insert_client(W, X, Y, Z) <- +ldl_client(W, X, Y, Z).
delete_client(W, X, Y, Z) <- -ldl_client(W, X, Y, Z).