Exo Intervals¶

This package assumes you use exo-compilation, that is, that you loaded the pedicate using the exo option to load_files//22, In this case, YAP includes a package for improved search on intervals of integers.

The package is activated by udi declarations that state what is the argument of interest:

 :- udi(diagnoses(exo_interval,?,?)).

 :- load_files(db, [consult(exo)]).

It is designed to optimise the following type of queries:

 ?- max(X, diagnoses(X, 9, Y), X).

 ?- min(X, diagnoses(X, 9, 36211117), X).

 ?- X #< Y, min(X, diagnoses(X, 9, 36211117), X ), diagnoses(Y, 9, _).

The first argument gives the time, the second the patient, and the third the condition code. The first query should find the last time the patient 9 had any code reported, the second looks for the first report of code 36211117, and the last searches for reports after this one. All queries run in constant or log(n) time.

• min/3
• max/3
• prolog::(#=)/2
• prolog::(#=<)/2
• prolog::(#<)/2
• prolog::(#>=)/2
• prolog::(#>)/2
• prolog::minimum/1
• prolog::min/1
• prolog::any/1
• prolog::maximum/1
• prolog::max/1
• prolog::min/2
• prolog::max/2