Hi Eric,

> stuck on some basic things. For example, how would you translate this Prolog
> term:
> 
> intro :-
> 
>     write("somme text ...").

We need to call Lisp here

   : (be prin (@X)
      (^ @ (prin (-> @X))) )
   -> prin

   : (? (prin "Hello world\n"))
   Hello world
   -> T

   : (be intro ()
      (prin "Hello world\n") )
   -> intro

   :  (? (intro))
   Hello world
   -> T

Is this what you mean?

♪♫ Alex
-- 
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to