Sandbox
This library provides predicates for running FASILL actions (goals, unfolding, tuning, etc.) in a simple way.
This library is mainly used in the online sandbox freely available at: https://dectau.uclm.es/fasill/sandbox in order to show all the features of FASILL.
sandbox_run( +Program, +Lattice, +Sim, +Goal, +Limit, +Options )
This predicate loads the program into the
environment and runs the goal Goal, with a depth limit Limit,
and writes in the standard output the resulting derivations.
sandbox_listing( +Program )
This predicate loads the program Program into the environment, and writes
in the standard output the loaded rules.
sandbox_classic_unfold( +Program, +Lattice, +Sim, +Rule )
This predicate loads the program into the
environment and runs the classic unfolding of the rule Rule.
sandbox_unfold( +Program, +Lattice, +Sim, +Rule )
This predicate loads the program into the
environment and runs the similarity-based unfolding of the rule Rule.
sandbox_tune( +Program, +Lattice, +Sim, +Tests, +Limit, +Options )
This predicate loads the program into the
environment and tune the program w.r.t. the set of test cases Tests, with a
limit of derivations Limit, and writes in the standard output the resulting
substitution.
sandbox_tune_smt( +Program, +Lattice, +Sim, +Tests, +Domain, +Limit, +Options )
This predicate loads the program into the
environment and tune the program w.r.t. the set of test cases Tests, using
an SMT solver with theory of Domain, with a limit of derivations Limit, and
writes in the standard output the resulting substitution.
sandbox_linearize_heads( +Program )
This predicate loads the program Program into the environment, and writes
in the standard output the loaded rules after linearizing the heads.
sandbox_extend( +Program, +Lattice, +Sim, +Options )
This predicate loads the program into the
environment, and writes in the standard output the loaded rules after
extending the program.