Carine

CARINE is a first-order classical logic automated theorem prover. CARINE is a resolution based theorem prover initially built for the study of the enhancement effects of the strategies delayed clause-construction (DCC) and attribute sequences (ATS) in a depth-first search based algorithm. CARINE's main search algorithm is semi-linear resolution (SLR) which is based on an iteratively-deepening depth-first search (also known as depth-first iterative-deepening (DFID) [Korf 1985]). SLR employs DCC to achieve a high inference rate, and ATS to reduce the search space.
See more at Wikipedia.org...

Carine is a suburb of Perth, the capital city of Western Australia, and is located 14 kilometres (9 mi) north of Perth's central business district (CBD) between Marmion Avenue and Mitchell Freeway. Its Local Government Area is the City of Stirling.
See more at Wikipedia.org...

n. Carine, female first name

adj. nice, lovable, pretty, dinky, cute, decent, sweet

Aid

import duties