next up previous contents index
Next: Pre-defined primitive abstractions in Up: Linking Logic with the Previous: Syntax of A++ including   Contents   Start


Examples using pre-defined primitives of A++



(ndisp! four)                          ; uses 'print' 'incr' and 'vmzero'
;                           -->4
;
(bdisp! true)                          ; uses  'print' 'vmtrue' 'vmfalse'
;                           -->true
;
(print vmzero)
;                           -->0
;
(print ((five incr) vmzero))
;                            -->5
;
(ldisp! l1)                            ; uses  'ndisp!'
;                            -->1
;                            -->2
;                            -->3
;
(load "init.ars")
;
;
(bdisp! (equalx 'anton                 ; uses 'print' 'vmtrue' 'vmfalse'
;                'berta))
;                            -->false
(print "end of program")   
;                            -->end of program
(quit)


Subsections

Georg P. Loczewski 2004-03-05


Impressum und Datenschutz