FASILL documentation Source fasill_sandbox

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/6

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/1

sandbox_listing( +Program )

This predicate loads the program Program into the environment, and writes in the standard output the loaded rules.

sandbox_classic_unfold/4

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/4

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/6

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/7

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/1

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/4

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.