RPN + logic

Thread View: fj.lang.forth

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Yasunori Harada Mon, 14 Sep 1992 04:17

#21

Author: Yasunori Harada
Date: Mon, 14 Sep 1992 04:17

64 lines
2229 bytes

$@$_$J$5$s!"(J
$@5U%]!<%i%s%I$HO@M}7?8@8l$NM;9g$,$G$-$^$7$?!*!*(J
$@$$$+$,$G$7$g$&!)(J

$@<!$N$h$&$K;H$$$^$9!#(J

>_ dup head 2 == ?
 (2 . !*undef*)

$@$3$3$G!"(J>$@$O%W%m%s%W%H$G!"(J _ $@$OO@M}JQ?t$r:n$j$^$9!#(Jdup$@$K$h$C$FO@M}(J$@JQ?t(J
$@$X$N%]%$%s%?$rJ#@=$7!"$=$N0l$D$N(Jhead (lisp$@$N(Jcar)$@$r(J2$@$H(Junify(==)$@$7$^$9!#(J
$@J#@=$5$l$?$b$&0l$D$N%]%$%s(J$@%?$,%9%?%C%/$K;D$C$F$$$k$N$G$=$l$rI=<((J(?)$@$7(J
$@$^$9!#(J

>_ dup (3 4) append (1 2 3 4) == ?
 (1 2)

$@$3$l$O(J$@O@M}JQ?t$H(J(3 4)$@$H$r(Jappend$@$7!"(J(1 2 3 4)$@$H(Junify$@$9$k$N$G(J append $@$r(J
$@2?EY$+%P%C%/%H%i%C%/$7$F@.8y$7$^$9!#$=(J$@$N$H$-!"O@M}JQ?t$O(J(1 2)$@$H$J$C$F(J
$@$$$k$N$G$=$l$r(J?$@$K$h$jI=<($7$^$9!#(J

$@$5$F!"$3$3$G(Jappend$@$NDj5A$r>R2p$7$^(J$@$9!#(J

>'append ((swap nil ==) (swap snoc rot append cons) or) def

or $@$O%A%g%$%9%]%$%s%H$r@8@.$7$^$7$F(J$@!"%P%C%/%H%i%C%/$G$O$3$3$KLa$C$F$-(J
$@$^$9!#La$C$F$-$?>l9g!"%9%?%C%/$J$I$N>pJs$bI|85$7$^$9!#(J

$@$3$3$G!"(J

1 2     swap   ->  2 1
(1 2 3) snoc   ->  1 (2 3)
1 2 3   rot    ->  2 3 1
1 (2 3) cons   ->  (1 2 3)

$@$G$9!#(Jappend$@$N(J swap snoc rot append cons $@$NF0$-$O(J

(1 2 3) (4 5 6)
   swap ->
(4 5 6) (1 2 3)
   snoc ->
(4 5 6) 1 (2 3)
   rot  ->
1 (2 3) (4 5 6)
   append ->
1 (2 3 4 5 6)
   cons ->
(1 2 3 4 5 6)

$@$N$h$&$K$J$j$^$9!#(J

$@$A$J$_$K$3$N=hM}7O$O(Jlisp$@$G5-=R$5$l$F$$$^$7$F!"(J200$@9T0J2<$G$9!#(J
$@M_$7$$J}$,$$$i$C$7(J$@$c$$$^$7$?$i$*Aw$j$7$^$9!#(J

$@$3$NFCD'$O(Jprolog$@$G$OLLE]$G$"$C$?JQ?t$N=hM}$,I,MW$J$$E@$G$7$g$&!#(J
$@$=$NBe$o(J$@$j!"%9%?%C%/$rA`:n$7$FJ#;($J%j%9%H9=B$$r:n$k$N$,BgJQ$G$9$,!#(J


$@86ED9/FA(J@NTT$@4pAC8&5f=j(J


$@Bl@n$5$s!"$*5W(J$@$7$V$j$G$9!#(J
NTT$@$K="?&$7$^$7$?!#(J

Re: RPN + logic

#22

Author: Masami Takikawa
Date: Thu, 08 Oct 1992 05:23

30 lines
2005 bytes

In article <1992Oct6.165400.24842@iris.is.tsukuba.ac.jp>
	yas@softlab.is.tsukuba.ac.jp (Yasushi Shinjo) writes:
>$B$J$k$[$I!#(J== $B$O!"#20z?t$r?)$C$F!"%f%K%U%#%1!<%7%g%s!JI{:nMQ!)!K(J
>$B$r$7$F!"7k2L$O2?$bJV$5$J$$$o$1$G$9$M!#@.8y$H$+<:GT$H$+!"$J$s(J
>$B$+7k2L$,JV$k$H!"4X?t7?$J$s$G$9$,!"$=$&$G$J$$$H$3$m$KO@M}7?$N(J
>$BL#$,$"$k$N$G$7$g$&$+!)(J

$B<:GT$9$k$H!"%P%C%/%H%i%C%/$9$k$H$3$m$,!"4X?t7?$H$N0c$$$G$7$g$&$M!#(J
$B@.8y$b8F$P$l$?=j$KJV$k$h$&$K8+$($F!"%9%?%C%/$O<B$O8:$C$F$$$^$;$s(J
$B$7$M!#(J


>> $B$=$NBe$o$j!"%9%?%C%/$rA`:n$7$FJ#;($J%j%9%H9=B$$r:n$k$N$,BgJQ$G$9$,!#(J
>
>$B$=$&$J$s$G$9$+!#A0CV$N(JLisp$B$b!"8eCV$-$N(J Forth $B$b$"$s$^$jJQ$i(J
>$B$J$$$h$&$J5$$,$9$k$s$G$9$1$I!#(J

$B$H$$$&$h$j!"(JProlog $B$HHf$Y$FBgJQ$H$$$&$3$H$G$7$g$&!#$d$C$Q$j%Q%?!<(J
$B%s$,;H$($k$H3Z$G$9$M!#(J

$B$H$3$m$G!":G6a$O(J lisp $B$G$b(J defstruct $B$,;H$($k$h$&$K$J$C$F!"(JC $B$N$h(J
$B$&$K9=B$BN$rL>A0$rMQ$$$F%"%/%;%9$G$-$^$9$,!":G6a$N(J lisp $B=q$-$O!"(J
defstruct $B$H(J cons + c...r $B$N$I$A$i$r$h$/;H$&$s$G$7$g$&!)(J defstruct
$B$N$$$$E@$O!"L>A0$,;H$($k$N$G!"%G%P%C%0$d%a%$%s%F%J%s%9$,3Z$H$$$&=j(J
$B$G$7$g$&$,!"5U$K$$$A$$$A@k8@$7$J$1$l$P$J$i$J$$$N$,!"7gE@$G$9$M!#B?(J
$B$/$N?M$O$I$C$A$NJXMx$5$r<h$k$N$G$7$g$&!)(J forth $B;H$$$OEvA3L>A0$J$s(J
$B$+$$$i$J$$GI!J(Jcons + c...r$B!K$+$J!)(J forth $B$K:C@^$7$?KM$O!"EvA3(J defstruct
$BGI$G$9!#(Jcons $B$OIaDL$N%j%9%H$HB0@-%j%9%H$K$7$+;H$$$^$;$s!#(J
--
$B$?$-$+$o!w$*$l$4$s(J

Re: RPN + logic

#23

Author: Masami Takikawa
Date: Thu, 08 Oct 1992 05:32

13 lines
1096 bytes

$BAaB.<+8J%U%)%m!<$G$9$,!"(J

In article <GR2wP.1006@mtak.bsj.com>
	logic@mtak.bsj.com (Masami Takikawa) writes:
> forth $B$K:C@^$7$?KM$O!"EvA3(J defstruct $BGI$G$9!#(J

$B$H$$$&$H13$+$J!#:G6a$O(J def-class $B$H$$$&%^%/%m$rDj5A$7$F!"(J
$B%*%V%8%'%/%H;X8~8@8l$K$7$F=q$$$F$$$^$9!#>.$5$J9=B$BN$G$b(J
cons + c...r $B$r;H$o$:$K!"%*%V%8%'%/%H$K$7$F$$$^$9!#$d$C$Q(J
$B$j!"%*%V%8%'%/%H;X8~$OJXMx!#(Jdefstruct $B$r;H$&$h$j!"%W%m%0(J
$B%i%`$,C;$/!"=q$-$d$9$/$J$j$^$9$M!#(J
--
$B$?$-$+$o!w(J programming paradigm $BHf3SO@$,@9$j>e$,$i$J$$$+$J$"(J

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads