Uppgift 1: Testa icke-deterministisk programmering
Uppgift 2: Nya primitiver till amb-evaluatorn
Uppgift 3: %dolist
Uppgift 4: Test av QLog
Uppgift 5: Släktskapsrelationer
Uppgift 6: Definition av några samband
Uppgift 7: Definition av operatorn unique