js@sun34.lri.fr (Jose de Siqueira) (11/30/90)
Somebody I don't recall the name wrote an article about writing a sequent theorem prover in Prolog. I am actually writing one and would like to share experiences with anyone interested in the matter. I am most interested in control issues, but any discussion related to sequent calculus and its implementation is welcome. Greetings, Jose'. -- js@lri.lri.fr Plus jamais, le temps de toujours... Jose' de Siqueira