From Wikipedia, the free encyclopedia
OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on Kyoto Common Lisp AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available.
|This programming-language-related article is a stub. You can help Wikipedia by expanding it.|
|This logic-related article is a stub. You can help Wikipedia by expanding it.|