是否有可能在SWI Prolog中定义一个类似于Sicstus Prolog中的undo谓词?从西克斯都的描述中: undo(:Goal)
The goal call(Goal) (see section Control) is executed on backtracking.This predicate is useful if the Goal performs some side-effect that must be done on backtracking to undoSWI谓词setup_call_cleanup不会这样做,
我正在尝试设置一个MySQL副本服务器,但是,由于数据库的大小相当大,所以我使用xtrabackup。server with DSN 'dbi:mysql:;mysql_read_default_group=xtrabackup;port=3306;mysql_socket=/tmp/mysql.sock/undo003.ibu'.
Using undo tablespace './undo<
我一直在学习如何使用Oracle在Java中使用MySQL,并且正在尝试进入尝试/捕捉和池清理的心态。我想知道下面的代码是否是完美地清理所有东西的正确方法,或者您是否注意到我的代码中有一些漏洞需要我错过一些东西。为了记录在案,我打算使用InnoDB及其行锁定机制,这就是为什么我要关闭自动提交。getConnection(); // obtains Connection from a pool
// do <
define variable mysql-db as character no-undo.define variable mysql-port as integer no-undo.define variable mysql-user as character no-undo.define variable err-msg as character no-undo.
define variable mysql_err as mempt