next up previous
Next: 3 基本手続き Up: ソフトウェア特論 講義資料 Scheme言語 Previous: 1 Scheme言語

2 Schemeの処理系

http://www.schemers.org/というページがあるように 世界中でいろいろなScheme処理系が作られています．
  1. MIT Scheme Schemeを作ったGuy L. Steele Jr., Gerald Jay Sussmanのいる MITで作られている処理系． http://www.swiss.ai.mit.edu/projects/scheme/index.html にあります． 現在のバージョンは7.7になっています． 普通にインストールして， Cygwin上で用いるときには，下のようなaliasをつけておくと便利です． 
    
alias mscheme=
'"c:/Program Files/MIT/Scheme/bin/scheme"
 -library
"C:/Program Files/MIT/Scheme/lib"'
  2. Chez Scheme http://www.scheme.com/ には，Chez Schemeという処理系があります． たくさんのOSの上で走る処理系となっています． 同様に，下のようにcygwinのbashの環境で aliasをつけておくと便利です． 
    
alias cscheme=
'"c:/Program Files/Chez scheme/csv6.0a/i3nt/scheme"
 -h 
"c:/Program Files/Chez Scheme/csv6.0a/i3nt/petite.heap"'
  3. Kawa http://www.gnu.org/software/kawa/ には，Javaで記述されたScheme処理系Kawaがあります．
schemeで書かれたprologについても書かれていて， 試すことが可能です．そのprologを走らせた例は， 


inaba@jsknote //d/download/scheme/prolog/prolog1.2> cscheme
Petite Chez Scheme Version 6.0a
Copyright (c) 1998 Cadence Research Systems
> (load "prolog.ss")
To start the Prolog interpreter,
     type:  (pro <file-names>...)
> (pro "ex.pro")
A Prolog goal is an unquoted LIST of predicate calls.
To toggle predicate tracing,
 type as a Prolog goal: ((debug))

Prolog 1.2 with Logical Arithmetic and Delays
?- ((app (a b c) (x y z) ?L))
Solution: ((app (a b c) (x y z) (a b c x y z)))
Floundered goals:
Splitting goals:
More? ;
no more solutions
(time in seconds:  0.01)
?-
のようになります．
generated through LaTeX2HTML. M.Inaba 平成18年5月6日