Hello,
I'm trying to translate a small Prolog programme into Pilog however I'm
stuck on some basic things. For example, how would you translate this
Prolog term:
intro :-
write("somme text ...").
which yields to (in Swi-Prolog):
?. intro.
somme text ...
true.
Best,
Er
Hi Alexander
>Perhaps it helps to see it this way:
Yes it helps a lot and thank you very much for taking the trouble to
clarify things.
Best Regards
Dean
On 22 November 2016 at 20:52, Alexander Burger wrote:
> On Tue, Nov 22, 2016 at 09:22:14PM +0100, Alexander Burger wrote:
> > > "The CD
On Tue, Nov 22, 2016 at 09:22:14PM +0100, Alexander Burger wrote:
> > "The CDR of a symbol cell is also called VAL, and the CAR points to the
> > symbol's tail. "
> ...
> Yes, but note that this talks about the symbol's *cell*, i.e. the
> internal representation as described in doc64/structures.
>
Hi Dean,
> from ref.html
> "The CDR of a symbol cell is also called VAL, and the CAR points to the
> symbol's tail. "
Yes, but note that this talks about the symbol's *cell*, i.e. the
internal representation as described in doc64/structures.
> but val seems to equate to car from my tests so I'm
from ref.html
"The CDR of a symbol cell is also called VAL, and the CAR points to the
symbol's tail. "
but val seems to equate to car from my tests so I'm confused
: (set 'x 3)
-> 3
: (car 'x)
-> 3
: (val 'x)
-> 3
: (cdr 'x)
!? (cdr 'x)
x -- List expected
Thank you very much Cristophe
On 22 November 2016 at 13:03, Christophe Gragnic <
christophegrag...@gmail.com> wrote:
> On Tue, Nov 22, 2016 at 11:29 AM, dean wrote:
> >
> > Also I read that ' is a macro for quote but I couldn't produce a '
> > equivalent of ((quote (X) (* X X)) 9) i.e.
> >
> >
I just came back to say this...
http://picolisp.com/wiki/?articlequote
looks very helpful
but see your very comprehensive reply.
I'll have a good look through both of them.
Thank you very much Joe.
On 22 November 2016 at 12:51, Joe Bogner wrote:
> On Tue, Nov 22, 2016 at 5:29 AM, dean wrote:
>
On Tue, Nov 22, 2016 at 11:29 AM, dean wrote:
>
> Also I read that ' is a macro for quote but I couldn't produce a '
> equivalent of ((quote (X) (* X X)) 9) i.e.
>
> : ((quote (X) (* X X)) 9)
> -> 81
> : (('(X) (* X X)) 9)
> !? (('(X) (* X X)) 9)
> NIL -- Undefined
> ?
> : (('X (* X X)) 9)
> !? ('
On Tue, Nov 22, 2016 at 5:29 AM, dean wrote:
>
> Joe
> My question came from that very documentation so I'm well aware of it.
>
> I've never used a lambda but your Javascipt example helps a lot and suggests
> that 'quote' in
>
>
> ((quote (X) (* X X)) 9)
>
>
> transforms the statement into somethi
Joe
My question came from that very documentation so I'm well aware of it.
I've never used a lambda but your Javascipt example helps a lot and
suggests that 'quote' in
((quote (X) (* X X)) 9)
transforms the statement into something like
(
(de anon (X)
(* X X)
)
anon 9
)
If that's r
10 matches
Mail list logo