small cleaning.
This commit is contained in:
@@ -10,6 +10,7 @@
|
||||
|
||||
:- yap_flag(unknown,error).
|
||||
:- ensure_loaded(actionrules).
|
||||
:- use_module(library(lists)).
|
||||
:- op(1200,fy,[delay]).
|
||||
:- op(1150,xfy,[?]).
|
||||
:- op(560,xfy,[..,to,downto]).
|
||||
|
@@ -48,6 +48,7 @@
|
||||
clpbn_tabled_dynamic/1
|
||||
]).
|
||||
|
||||
:- dynamic '$aleph_global'/2.
|
||||
%
|
||||
% Tell Aleph not to use default solver during saturation
|
||||
%
|
||||
|
@@ -12,8 +12,12 @@
|
||||
|
||||
*
|
||||
|
||||
* TERMS AND CONDITIONS:
|
||||
|
||||
*
|
||||
|
||||
* This program is offered free of charge, as unsupported source code. You may
|
||||
|
||||
* use it, copy it, distribute it, modify it or sell it without restriction,
|
||||
|
||||
* but entirely at your own risk.
|
||||
|
@@ -13,6 +13,8 @@
|
||||
*
|
||||
|
||||
* TERMS AND CONDITIONS:
|
||||
|
||||
*
|
||||
|
||||
* This program is offered free of charge, as unsupported source code. You may
|
||||
|
||||
|
@@ -12,6 +12,9 @@
|
||||
|
||||
*
|
||||
|
||||
* TERMS AND CONDITIONS:
|
||||
|
||||
*
|
||||
|
||||
* This program is offered free of charge, as unsupported source code. You may
|
||||
|
||||
|
Reference in New Issue
Block a user