BLACK-STONE

Specification and Implementation of Quantum Common Lisp and the Black Stone Quantum Computer simulator, for modelling classical interface gate-model quantum computer programs.

Note: due to an unfortunate naming conflict with Omer’s QCL, a quantum programming language based on the syntax of C, we will generally refer to Quantum Common Lisp as (qcλ), or qclambda in the source.

Documentation available at: http://thephoeron.viewdocs.io/black-stone

Sources and References

• Quantum Computation and Quantum Information, Nielson and Chuang, 10th anniversary ed., 2010.
• Quantum Computing for Computer Scientists, Yanofsky and Mannucci, 2008.
• Quantum Algorithms via Linear Algebra, Lipton and Regan, 2015.
• Quantum Information, Computation, and Communication, Jones and Jaksch, 2012.
• Quantum Processes, Systems, and Information, Schumacher and Westmoreland, 2010.
• Quantum Computer Science, Mermin, 2007.
• Quipper, embedded, scalable pure functional language for quantum computation, Selinger, 2013.
• Quantum Lambda Calculus, Selinger, 2009.
• “A lambda calculus for quantum computation with classical control, Selinger, 2006.
• QGAME: Quantum Gate And Measurement Emulator
• Q-Lisp Project (Quantum Computer Programming Language) (not to be confused with QLISP CL Extension for parallel processing)
• Simulation of Quantum Computations in Lisp ftp://prog.vub.ac.be/tech_report/2006/vub-prog-tr-06-15.pdf

Installation & Use (Linux/OS X)

Dump the executable:

$ CC=gcc sbcl --script make.lisp

Install for all users:

$ sudo install -v ./black-stone /usr/local/bin

Or if you have a local executable directory on your path:

$ install -v ./black-stone ~/bin

When running from the terminal, it is recommended to use RLWRAP:

$ rlwrap black-stone
...
#[BLACK-STONE::QCL-USER]> _

This will provide you with an improved line-editing environment over the underlying SBCL REPL.

System Requirements

Tested on Linux x86_64 and OS X 10.7

• SBCL 1.1.14+
• Quicklisp

Dependencies

Available through Quicklisp:

• LET-OVER-LAMBDA
• CL-ISAAC
• GSLL
• CL-PPCRE
• CL-FAD
• CLON (the Command-Line Options Nuker)
• PROVE (to run the test suite)

License

Copyright © 2013–2017, “the Phoeron” Colin J.E. Lupton. This project has been released under the MIT License; please see black-stone/LICENSE for more information.