OBJ3
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.
Order theory
Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and gives some basic definitions...
-sorted rewriting
Rewriting
In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. What is considered are rewriting systems...
. OBJ3 is agent
Intelligent agent
In artificial intelligence, an intelligent agent is an autonomous entity which observes through sensors and acts upon an environment using actuators and directs its activity towards achieving goals . Intelligent agents may also learn or use knowledge to achieve their goals...
-oriented and runs on Kyoto Common Lisp
Kyoto Common Lisp
Kyoto Common Lisp is an implementation of Common Lisp by T. Yuasa and M. Hagiya, written in C to run under Unix-like operating systems. KCL is compiled to ANSI C...
AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available.
External links
- Information and OBJ3 manual, PostScriptPostScriptPostScript is a dynamically typed concatenative programming language created by John Warnock and Charles Geschke in 1982. It is best known for its use as a page description language in the electronic and desktop publishing areas. Adobe PostScript 3 is also the worldwide printing and imaging...
format