... documentation ¹

http://www.sics.se/sicstus/docs/latest4/html/sicstus.html/Syntax-of-Arithmetic-Expressions.html#Syntax-of-Arithmetic-Expressions

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... documentation ²

http://www.sics.se/sicstus/docs/latest4/html/sicstus.html/CLPQR-Solver-Predicates.html#CLPQR-Solver-Predicates

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... version ³

https://www-dse.doc.ic.ac.uk/cgi-bin/moin.cgi/abduction?action=AttachFile&do=view&target=abduciont-lite.pl

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Editor ⁴

http://www.yworks.com/en/products_yed_about.html

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... problem ⁵

downloadable from https://www-dse.doc.ic.ac.uk/cgi-bin/moin.cgi/abduction?action=AttachFile&do=view&target=circuit-diagnosis-2.pl

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Corapi ⁶

http://www.doc.ic.ac.uk/~dcorapi/

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Marinovic ⁷

http://www.doc.ic.ac.uk/~srdjan/

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Craven ⁸

http://www.doc.ic.ac.uk/~rac101/

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Kakas ⁹

http://www2.cs.ucy.ac.cy/~antonis/

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.