OBJ3
Η OBJ3 είναι μια έκδοση της OBJ που βασίζεται στην επαναγραφή διατεταγμένων τύπων (order-sorted rewriting).
Η OBJ3 είναι προσανατολισμένη σε agents και εκτελείται στην AKCL.
Έχει πια (σημαντικό) ιστορικό ενδιαφέρον, λόγω της ύπαρξης νεότερων εκδόσεων της οικογένειας OBJ.
