Skip to main content

ASAP Answer Set Application Programming

Project description

Running examples

(The examples are scripts in bin/ but you should install ASAP using pip3 or setup.py to run it, see below.)

  • asap-example-onoffswitch

    This is the most simple example of a switch.

  • asap-tetris

    This example is the game Tetris, including a player name, increasing difficulty with increasing score, and a high score list.

  • asap-aplagent

    This example is an interactive action plan inspector that works with domain and action description files from APLAgent that can be obtained from http://mbal.tk/APLAgentMgr/ and is distributed under GPL license.

Installation

  • If you do not have it: install pip3: for example under Ubuntu via

    $ sudo apt-get install python3-pip

  • Install ASAP with pip3, see PyPi repository at https://pypi.python.org/pypi/asap

    $ pip3 install asap --user

  • Setup Python to use the “Userinstall” environment that allows you to install Python programs without overwriting system packages. This is achieved by adding the following to your .profile or .bashrc file:

    export PYTHONUSERBASE=~/.local/ export PATH=$PATH:~/.local/bin

  • Run ASAP the first time. This will help to download and build pyclingo if you do not have pyclingo for Python 3 already usable via import clingo:

    $ asap

    The first run of asap might ask you to enter the sudo password to install several packages. (If you do not want to enter your sudo password: abort, install the packages manually, and later run asap again.)

    • Ubuntu 16.04 is tested

    • Debian 8.6 (jessie) is tested

    • Ubuntu 14.04 can not work without manual installation of cmake 3.1 or higher (for buildling clingo)

Development

  • Install the package in development mode in the “Userinstall” environment.

    $ python3 setup.py develop --user

Running asap

  • cat <program> | asap <arguments>

Citation

Schüller, Peter, and Antonius Weinzierl. “Answer Set Application Programming: a Case Study on Tetris.” ICLP (Technical Communications). 2015. http://ceur-ws.org/Vol-1433/tc_17.pdf

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

asap-2.0.0a8.tar.gz (27.2 kB view details)

Uploaded Source

File details

Details for the file asap-2.0.0a8.tar.gz.

File metadata

  • Download URL: asap-2.0.0a8.tar.gz
  • Upload date:
  • Size: 27.2 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for asap-2.0.0a8.tar.gz
Algorithm Hash digest
SHA256 0e7ca5b2a00b590d522fd0db868a4188aab6bd155adb29d26ab818e3c569398b
MD5 23ef9fd7e4a06877b7a82e75dcc92d80
BLAKE2b-256 e27abfdb0f75e9261e97534a1868e37a0603bc375aa8333d48eac7f060402eae

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page