Aspects of Logic Programming. ○. Programs are written in the language of some logic. ○. Execution of a logic program is a theorem proving.
確定! 回上一頁