"conclúid"

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.

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.

Gluaiseanna breise Auxilliary glossaries

IATE

conclusions of the Presidency of the European Council; European Council Presidency conclusions; Presidency conclusions

conclúidí Uachtaránacht na Comhairle Eorpaí

Where declarations, conclusions or resolutions have been formally adopted by the Council, this is indicated in the heading for the item concerned and the text is placed between quotation marks.

Sa chás inar ghlac an Chomhairle dearbhuithe, conclúidí nó rúin go foirmiúil, cuirtear sin in iúl sa cheannteideal den ítim lena mbaineann agus cuirtear an téacs idir comharthaí athfhriotail.

an Mheitheal ad hoc ar a Leanann as Conclúidí na Comhairle maidir leis an gCipir an 24 Aibreán 2004

conclusions reached by the majority of the Judges

conclúidí thromlach na mbreithiúna

conclúidí na Comhairle

conclusion

clabhsúr; conclúid

draft guidelines for the European Council conclusions; guidelines for the conclusions

dréacht-treoirlínte i gcomhair chonclúidí na Comhairle Eorpaí; dréacht-treoirlínte le haghaidh na gConclúidí ón gComhairle

conclusions of the European Council; European Council conclusions

conclúidí na Comhairle Eorpaí

basis for conclusions

bonn i gcomhair conclúidí

TÉARMAÍ MÍLEATA

conclusion

conclúid (bain2, gu: conclúide, ai: conclúidí, gi: conclúidí)