Torthaí beachta
Exact matches
#
Computers, Computer Science An algorithm for proving a goal by recursively breaking it down into sub-goals and trying to prove these until facts are reached. Facts are goals with no sub-goals which are therefore always true. Backward chaining is the program execution mechanism used by most logic programming language like Prolog. Opposite: forward chaining.
Ríomhairí, Ríomheolaíocht Algartam le haghaidh sprioc a chruthú trína bhriseadh síos go hathchúrsach ina fhospriocanna agus iarracht a dhéanamh iad sin a chruthú go dtí go dtagtar ar fhíricí. Spriocanna gan aon fhospriocanna iad fíricí agus más ea is fíor i gcónaí iad. Slabhrú ón gconclúid siar an mheicníocht a úsáideann formhór na dteangacha ríomhchlárúcháin loighciúil ar nós Prolog le ríomhchlár a rith. Contrárthacht: slabhrú ar aghaidh.
Torthaí gaolmhara
Related matches