Bibliography

1

H. Aït-Kaci.
Warren's Abstract Machine: A Tutorial Reconstruction.
The MIT Press, Cambridge, MA, 1991.

2

P. Julián-Iranzo.
A procedure for the construction of a similarity relation.
In M. Ojeda, editor, In Proc. of the 12th International Conference on Information Processing and Management of Uncertainty in Knoledge-based Systems (IPMU 2008), June 22-27, 2008, Málaga, Spain, page 8. U. Málaga, 2008.
(Accepted for publication).

3

P. Julián-Iranzo, C. Rubio-Manzano, and J. Gallardo-Casero.
Bousi$\sim$prolog: a prolog extension language for flexible query answering.
page 14, 2008.
(Submitted for publication).

4

Pascual Julián-Iranzo and Clemente Rubio-Manzano.
Introducing Weak Unification into the WAM.
Dep. of Information Technologies and Systems, University of Castilla-La Mancha. Technical Report, 2005.

5

B.W. Kernighan and D.M. Ritchie.
The C Programming Language, 2nd Edition.
Prentice-Hall, 1988.

6

Maria I. Sessa.
Approximate reasoning by similarity-based sld resolution.
Theoretical Computer Science, 275(1-2):389-426, 2002.

7

L. Sterling and E. Shapiro.
The Art of Prolog (Second Edition).
The MIT Press, Cambridge, MA, 1994.

8

J. Wielemaker.
SWI-Prolog 5.6 Reference Manual.
Technical report: vesion 5.6.52, March 2008, University of Amsterdam, 2008.