Logic Programming Language. LPL's are a notational system for writing logical statements together with specified algorithms for implementing inference rules.
確定! 回上一頁