prologのインストール

osx prolog

どれがどれだか...

% port search prolog | grep lang | grep -v editor 
gprolog @1.4.0 (lang)
gprolog-devel @1.4.0 (lang)
swi-prolog @5.10.5 (lang)
swi-prolog-devel @5.11.26 (lang)
swi-prolog-lite @5.8.3 (lang)
yap @6.0.5 (lang)
yap-devel @6.0.7 (lang)

検索結果が多かったので、swi-prologにしてみる

% sudo port install swi-prolog-devel
% swipl -v    
SWI-Prolog version 5.11.26 for i386-darwin10.8.0


hello.swi

hello :-
  write( 'hello prolog.' ).

実行

% swipl -f hello.swi
% library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,992 bytes
% /path/to/hello.swi compiled 0.00 sec, 944 bytes
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.11.26)
Copyright (c) 1990-2011 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- hello.
hello prolog!
true.

?-

終了の仕方が分からなかったので、


以下、とりあえずの目標