Abstract Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic.
確定! 回上一頁