Oc

("Oh see!") A {parallel} {logic language}.

["Self-Description of Oc and its Applications", M. Hirata,

Proc 2nd Natl Conf Japan Soc Soft Sci Tech, pp. 153-156,

1984].

(1995-03-16)