Database

Purpose

Description

The agent's solvable capabilities change dynamically as a function of what predicates are currently declared. Initially, only db_declare(), db_load(), db_save() and db_simulate() exist. However, for each predicate added using db_declare(), the following capabilities are added to the Facilitator for the predicate: db_assert(), db_retract(), db_abolish(), db_add_trigger(), db_remove_trigger(), db_solve(), and Pred.

ICL Solvables

• db_abolish(Pred, Params)
• db_add_trigger(Recurrent, OpMask, PredMask, Cond, Action)
• db_assert(Pred, Params)
• db_declare(Func,Arity,Params)
• db_load(Filename)
• db_remove_trigger(Recurrent, OpMask, PredMask, Cond, Action)
• db_replace(Pred1, Pred2, Params)
• db_retract(Pred, Params)
• db_save(PredSpecs, Filename)
• db_simulate(NumSeconds)
• db_solve(Pred, Constraints, Params)

Information

Version: 1.0

Language: Prolog (Text-based, UNIX)

Availability