plexil - PLan EXecution Interchange Language from NASA for robot control

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename plexil-4.5.0_1.txz
Package name plexil
Package version 4.5.0
Package release 1
Package architecture amd64
Package type txz
Category devel lang
Download size 690.48 KB
Installed size 3.47 MB
PLEXIL (Plan Execution Interchange Language) is a language for representing
plans for automation, as well a technology for executing these plans on real or
simulated systems. PLEXIL has been used in robotics, control of unmanned
vehicles, automation of operations in human habitats, and systems and
simulations involving intelligent software agents.
PLEXIL was designed initially to meet the requirements of flexible, efficient
and reliable plan execution in space mission operations. It is compact,
semantically clear, and deterministic given the same sequence of events from the
external world. At the same time, the language is quite expressive and can
represent branches, loops, time- and event- driven activities, concurrent
activities, sequences, and temporal constraints. The core syntax of the language
is simple and uniform, making plan interpretation simple and efficient, while
enabling the application of validation and testing techniques.


Package Version Architecture Repository
plexil-4.5.0_1.txz 4.5.0 i386 FreeBSD Ports Latest
plexil-4.5.0_1.txz 4.5.0 i386 FreeBSD Ports Quarterly
plexil-4.5.0_1.txz 4.5.0 amd64 FreeBSD Ports Quarterly
plexil - - -


Name Value
gcc9 = 9.1.0_1 - -


Name Value - - - - - - - - - - - -


Type URL
Binary Package plexil-4.5.0_1.txz
Source Package lang/plexil

Install Howto

Install plexil txz package:

# pkg install plexil

See Also

Package Description
plexmediaserver- Plex Media Server component
plexmediaserver-plexpass- Plex Media Server component
plib-1.8.5_7.txz Portable library for joystick/sound/OpenGL GUI/3D math
plman-2.5.1_2.txz Propositional Logic sentence shell/interpreter
pload-0.9.5_4.txz X11 program to display network traffic graphs
plopfolio-0.1.0_10.txz Free clone of KlipFolio for GNUstep
plor-0.3.3_1.txz Alpha-release reader for reading SOUP and QWK packets
ploticus-2.40_10.txz Generates plots and graphs from data
ploticus-nox11-2.40_10.txz Generates plots and graphs from data (no X11 required)
plotutils-2.6_8,1.txz Plotting library and toolkit
plplot-5.15.0.txz Scientific plotting package
plplot-ada-5.15.0_1.txz Ada bindings for PLplot
plugdaemon-2.5.5_1.txz Plug proxy daemon, forwards TCP/IP connections
plugger-5.1.5.txz Multimedia front-end plugin for Mozilla or Opera
pluma-1.22.2.txz Small but powerful text editor for MATE Desktop Environment