diff --git a/README.md b/README.md
index 97e65600c55767c57ba6b145434d8c10393f25aa..a6692f750dd7745cb78c2f14aa027f0a8240974c 100644
--- a/README.md
+++ b/README.md
@@ -13,6 +13,13 @@ The ProB binary and source distributions contain the nauty library (http://cs.an
 
 For availability of commercial support, please contact Formal Mind (http://www.formalmind.com).
 
+# Prolog Source Code
+The latest source code of the Prolog binary can be downloaded from http://nightly.cobra.cs.uni-duesseldorf.de/source/. To build the Prolog binaries you require a Sicstus 4 (http://sicstus.sics.se/index.html) licence. 
+
+# ProB 2.0 
+The development repository for ProB 2.0 is avaliable from https://github.com/bendisposto/prob2
+
+
 # Setting up the development environment
 
 - Clone the repository (http://github.com/bendisposto/prob)