Twelf(Q) Architecture
?- G.
Proof Search Engine
M1 =? M2
Unification CS
CSM
p1 M
CS1
p2 M
CS2
...
Z . N
Z . N
Z . N
Previous slide
Next slide
Back to first slide
View graphic version