Curry 環境構築

Curry は関数型プログラミング言語と論理型プログラミング言語の特徴を併せ持つ言語で，PAKCS は Curry 言語で書かれたプログラムを実行することができるインタープリタです．PAKCS は Curry のコードを Prolog に変換して実行します。

インストール

Arch

paru -S pakcs

Ubuntu

sudo apt-add-repository ppa:swi-prolog/stable
sudo apt update
sudo apt install swi-prolog
sudo apt install pakcs

download site

使い方

• Sample program:

-- family.curry
data Person = Alice | Bob | Charlie | Dave

parent Alice	= True
parent Bob	= True
child Charlie	= True
child Dave	= True

parent_child Alice Charlie	= True
parent_child Alice Dave		= True
parent_child Bob Charlie	= True
parent_child Bob Dave		= True

sibling x y = parent_child z x & parent_child z y
	where z free

• Enter interactive shell with pakcs:

$ pakcs
which: no rlwrap in (/usr/local/bin:/usr/local/sbin:/usr/bin:/usr/bin/site_perl:/usr/bin/vendor_perl:/usr/bin/core_perl)
>>> /home/user/.pakcsrc installed.
 __    _
|_ \  | |            PAKCS - the Portland Aachen Kiel Curry System
  \ \ | |____
  /  \|  ____|       Version 3.3.0 of 2021-02-15 (swi 8.2)
 / /\ \ |
/_/  \_\|            (using Curry Package Manager, version 3.0.0)


Type ":h" for help (contact: pakcs@curry-lang.org)
Prelude>

• Load files:

Prelude> :l family

• Test:

family> parent Alice
True
family> child Dave
True
family> parent_child Bob Charlie
True
family> sibling Charlie Dave
True
True
family>

Reference:

Curry - A Tutorial Introduction