Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/examples/LambdaLogic/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/examples/LambdaLogic/divides.in

% prove divides(2,6) to illustrate the use of "exists" in lambda logic.

set(lambda).
set(demod_inf).
set(binary_res).
set(very_verbose).

list(usable).
x = x.
2*3 = 6.
-Ap(Z,w) | exists(lambda(x, Ap(Z,x))).
end_of_list.

list(demodulators).
divides(u,v) = exists(lambda(x,u*x = v)).
end_of_list.

list(sos).
-divides(2,6).
end_of_list.

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists