在计算机中,setofLogiclanguagesuselogicastheirmathematicalbase.Alogicprogramconsistsofsetsoffactsandif-thenrules,whichspecifyhowonesetoffactsmaybededuced（推理,推断）fromothers.翻译器翻出来的东西读不通

Question

在计算机中,set of
Logic languages use logic as
their mathematical base.A logic program consists of sets
of facts and if-then rules,which specify how
one set of facts may be deduced（推理,推断） from others.翻译器翻出来的东西读不通...

Answer 1

逻辑语言使用逻辑作为数学基础.
一个逻辑程序由一系列事实和if-then规则组成,
这些规则描述了一系列事实如何从别的(事实)推断出来.