curry install - Forest0923/memo GitHub Wiki

• About PAKCS
• Install on Ubuntu
• Install on Arch
• Basic Usage

About PAKCS

• PAKCS enables to run programs written in Curry language.
• Curry combines the features of functional and logical programming languages.
• PAKCS converts Curry code to Prolog and execute.

Install on Ubuntu

• At first, you have to install swi-prolog.

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

• In Ubuntu, you can install PAKCS by following command.

sudo apt install pakcs

• However, due to unknown errors, it is recommended to download from download site.
• Decompress the downloaded file and run the following command.

make SWIPROLOG=/usr/bin/swipl

• Add pakcs-version/bin to PATH.

Install on Arch

• Commands:

paru -S pakcs

Basic Usage

• 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: [email protected])
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