CARINE
CARINE (Computer Aided Reasoning Engine) is a first-order classical logic automated theorem prover.
It was 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)) and used in theorem provers like THEO. SLR employs DCC to achieve a high inference rate, and ATS to reduce the search space.
Getting around CARINE the local way
- Get aroundA paper ticket purchasable from ticket machines at train stations and ferry jetties, and from bus drivers.
- Get aroundA ferry service operates between Elizabeth Quay in the city and Mends Street Jetty in South Perth.
- Get aroundElizabeth Quay train station is adjacent to the ferry terminal.
- Get aroundLocal Bicycle Routes (a series of on-road routes and some suburban off-road sections that run through parks).
- Go nextIt's a favourite place for day trips and overnight getaways from Perth, and once the home of Bushranger Moondyne Joe.
From Wikivoyage: Perth, CC BY-SA. Not yet checked by us. Last edited 2026-09.
Text adapted from Wikipedia, CC BY-SA 4.0. Photograph: MONUSCO Photos (see Commons), Wikimedia Commons.