On Thursday 13 Oct 2011 17:26:28 Gabriel Dos Reis wrote:
> It is a stated goal of OpenAxiom to move beyond Lisp as its only runtime.
Looks interesting.
> Most the names you will find in OpenAxiom source code that start with %
> are builtin. They are part of the intermediate language we compile to.
> The translation of the intermediate language to Lisp is done in the file
>
> src/interp/lisp-backend.boot
>
> In this specific case of the use of these names in PropositionalFormula,
> you will notice that they are just names of the kernel operators as
> stated by the comment:
>
> -- Local names for proposition logical operators
> macro FALSE == '%false
> macro TRUE == '%true
> macro NOT == '%not
> macro AND == '%and
> macro OR == '%or
> macro IMP == '%implies
> macro EQV == '%equiv
>
>
> They are used to build symolic expressions, for example:
>
> conjunction(p,q) ==
> per kernel(operator(AND, 2), [p, q], 1 + max(level p, level q))
> Here, AND has not other meaning than being the internal name of the
> logical conjunction operators. I kept the name close to the
> intermediate language representation since they have similar (or exact)
> semantics.
So since operator is defined like this:
TermAlgebraOperator(S: SetCategory): Public == Private where
Public == OperatorCategory S with
operator: (S,Arity) -> %
then we need a SetCategory, the nearest that I can find in src/interp/lisp-
backend.boot is this:
++ Opcodes with direct mapping to target operations.
for x in [
-- Boolean constants
-- ['%false, :'NIL],
['%true, :'T],
-- unary Boolean operations
['%not, :'NOT],
-- binary Boolean operations
['%and, :'AND],
['%or, :'OR],
<snip>
So I guess I need to define a set in the FriCAS version of
PropositionalFormula containing these operator symbols?
Martin
------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure contains a
definitive record of customers, application performance, security
threats, fraudulent activity and more. Splunk takes this data and makes
sense of it. Business sense. IT sense. Common sense.
http://p.sf.net/sfu/splunk-d2d-oct
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
