# $Id: lists-query.n3,v 1.3 2001/12/01 01:21:27 amdus Exp $
# PxButton | test | java Euler lists.n3 lists-query.n3 |

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix dpo: <http://www.daml.org/2001/03/daml+oil#>.
@prefix : <lists#>.

this log:forSome :x, :y.
#:c :in [ dpo:first :a; dpo:rest [ dpo:first :b; dpo:rest [ dpo:first :c; dpo:rest dpo:nil]]]. 
[ :l1 :x; :l2 :y; :l12 [ dpo:first :a; dpo:rest [ dpo:first :b; dpo:rest [ dpo:first :c; dpo:rest dpo:nil]]]].