moustaki / henry Goto Github PK

$ cat examples/family.n3
@prefix : <http://www.test.com/>.
@prefix t: <http://variable.com/#>.

# Adaptated from Sean B. Palmer's family example

:mary :parent :sally, :bob, :frank, :maryjr.
:sally :parent :fran, :marshall.
:paul :parent :sally.
:bob :parent :jane.
:maryjr :parent :maryIII.
:merv :parent :bob.
:jane :parent :janeII.


{?p :parent ?q.} => {?q :child ?p}.
{?x :parent ?y. ?y :parent ?z.} => {?x :gParent ?z. ?z :gChild ?x}.
{?a :parent ?b. ?b :gParent ?c.} => {?a :ggParent ?c.}.

$ ./swicwm.pl examples/family.n3
swipl: Usage:
    1) swipl [options] prolog-file ... [-- arg ...]
    2) swipl [options] [-o executable] -c prolog-file ...
    3) swipl --help         Display this message
    4) swipl --version      Display version information
    5) swipl --abi-version  Display ABI version key
    6) swipl --arch         Display architecture
    7) swipl --dump-runtime-variables[=format]
                        Dump link info in sh(1) format

Options:
    -x state                 Start from state (must be first)
    -g goal                  Run goal (may be repeated)
    -t toplevel              Toplevel goal
    -f file                  User initialisation file
    -F file                  Site initialisation file
    -l file                  Script source file
    -s file                  Script source file
    -p alias=path            Define file search path 'alias'
    -O                       Optimised compilation
    --on-error=style         One of print, halt or status
    --on-warning=style       One of print, halt or status
    --tty[=bool]             (Dis)allow tty control
    --packs[=bool]           Do (not) attach add-ons
    --signals[=bool]         Do (not) modify signal handling
    --threads[=bool]         Do (not) allow for threads
    --debug[=bool]           Do (not) generate debug info
    --debug-on-interrupt[=bool] Trap the debugger on interrupt
    --quiet[=bool] (-q)      Do (not) suppress informational messages
    --traditional            Disable extensions of version 7
    --home=DIR               Use DIR as SWI-Prolog home
    --stack-limit=size[BKMG] Specify maximum size of Prolog stacks
    --table-space=size[BKMG] Specify maximum size of SLG tables
    --shared-table-space=size[BKMG] Maximum size of shared SLG tables
    --pce[=bool]             Make the xpce gui available
    --pldoc[=port]           Start PlDoc server [at port]

Boolean options may be written as --name=bool, --name, --no-name or --noname.
Both '-' or '_' are accepted as word-separator for long options.
$