allow observer to enter N facts

slightly less useless error on lack of variable

ghetto copy working - see body of commit message

rule ghetto_copy {FromFileName ToFileName} {
  exists {F T} {
    file_at F FromFileName
    file_at T ToFileName
    foreach L { contains_line F L } { contains_line T L }
  }
}

$ query {} {ghetto_copy 'from' 'to'}

^^ this actually works. I think I am afraid.

factor out FindIsh, implement ForEach

findall

create file with initial content

rewrite file correctly chaining from create file

eval cage for the shell

file content handling

produce a useful error message

make MemberOf handle a bound RHS

add ->all method to SetOver

move actions to a separate state attribute

add cuts to avoid multiple action paths

SetPathMode action

add rule and exists built-ins to shell

create directory and create file, now with mode setting

predicate op forgot to expand constants

shell tweaks

add ModifyAction op

first sketch towards shell

beginnings of FS lib

move actions to being held by fact objects

use VarRef for derived bindings

use FactRef objects to sanify action handling

indirect via resolve_value method

new Op::Predicate

remove the _then bind methods

tweak action methods in Result

separate scope setup in rule bodies into its own op

factor action execution out into solver method

acion infrastructure

allow value scalarref, refactor

add exists, convert dot_ssh to use prop for everything

prop op

delete dead code from Not op

root set bind by id

introduce root set

bind_var_then -> bind_value

not and action infrastructure

observers

cut support

stop using return_stack directly in tests

start of dot_ssh test

add set_value API

factor out set/stream code

factor out arg handling

factor variable expansion out of assignment

remove member lookup op

cleanup, call-as-default

wheeeeeeeeee

ssh key sketch test

first test for observer code

or via backtracking

add but method to state

move return stack code back to test

basic return stack usage

test more complex stream

out of options handler

move backtracking into a stream

initial import