q = query(hello(world))
all_claims
ll_claims
all_claims
q = query(ancestor(bill, Y))
help
claims($q)
query_answers($q)
ls
lls
f = put_file(hello.pl)
a = query(p(alice))
all_claims
f1 = query(p_forall([alice]))
all_claims
f1 = query(p_forall([alice, bob]))
claims($f1)
f2 = query(p_forall([alice, bob, charles]))
claims($f2)
f1 = query(p_exists([alice, bob]))
claims($f1)
f1 = query(p_exists([charles, alice, bob]))
claims($f1)
f1 = query(p_exists([]))
f1 = query(p_forall([]))
all_claims
f1 = query(p_forall([]))
all_claims
f1 = query(p_exitst([]))
claims($f1)
f1 = query(p_exitst([]))
claims($f1)
f1 = query(p_forall([]))
claims($f1)
f1 = query(p_forall([alice, bob]))
claims($f1)
f1 = query(p_forall([alice, bob, charles]))
claims($f1)
all_claims
f1 = query(p_forall([]))
all_claims
f1 = query(p_forall([]))
all_claims
f1 = query(p_forall([alice]))
all_claims
