Content deleted Content added
Omnipaedista (talk | contribs) |
Omnipaedista (talk | contribs) boldface per WP:R#PLA |
||
Line 6:
Members of the OBJ family of languages include [[CafeOBJ]], [[Eqlog]], [[FOOPS]], [[Kumo (OBJ)|Kumo]], [[Maude system|Maude]], [[OBJ2]], and [[OBJ3]].
==OBJ3<!--'OBJ3' redirects here-->==
'''OBJ3'''<!--boldface per WP:R#PLA--> is a version of OBJ based on [[Order theory|order]]-sorted [[rewriting]]. OBJ3 is [[Intelligent agent|agent]]-oriented and runs on [[Kyoto Common Lisp]] AKCL.
==See also==
|