Imperial College London
コワルスキはその後、インペリアル・カレッジ・ロンドンに移り、1979年に集大成ともいえる「」を著し、その後のこの言語と論理プログラミングの研究に決定的な影響を与えた。