Report - Verification of Logic Programs with Delay Declarations · PRJT Basic Research Action 6810 (Compulog 2). 1 Introduction In Kowalski [Kow79] the slogan "Algorithm = Logic + Control"

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form