geospatial — Logtalk 3.100.1

object

# `geospatial`

Geospatial predicates over geographic coordinates represented as `geographic(Latitude,Longitude)`.

Availability:
`logtalk_load(geospatial(loader))`
Author: Paulo Moura
Version: 1:0:0
Date: 2026-05-11
Compilation flags:
`static, context_switching_calls`
Implements:
`public` geospatial_protocol
Uses:
list
Remarks:

> - Distance unit: Kilometers.

> - Coordinate ranges: Latitude values must be in the `[-90.0,90.0]` range and longitude values in the `[-180.0,180.0]` range.

Inherited public predicates:
along_track_distance/4 bbox_contains/2 bbox_contains_polygon/2 bbox_expand/3 bbox_from_coordinates/2 bbox_intersects/2 bbox_intersects_polygon/2 bbox_intersects_polyline/2 bbox_union/3 bounding_box/3 clockwise_polygon/2 close_polygon/2 coordinates_bounding_box/2 counterclockwise_polygon/2 cross_track_distance/4 destination_point/4 equirectangular_inverse/4 equirectangular_projection/4 final_bearing/3 haversine_distance/3 initial_bearing/3 interpolate_great_circle/4 interpolate_rhumb/4 is_clockwise_polygon/1 is_valid_polygon/1 mean_center/2 midpoint/3 minimum_enclosing_circle/3 nearest_coordinate/5 nearest_point_on_polyline/4 nearest_point_on_segment/4 normalize_coordinate/2 normalize_polygon_orientation/3 point_in_polygon/2 point_to_polyline_distance/3 polygon_area/2 polygon_bounding_box/2 polygon_centroid/2 polygon_orientation/2 polygon_perimeter/2 polygon_perimeter/3 polygons_intersect/2 polyline_length/2 polyline_length/3 polyline_resample/3 polyline_simplify/3 polyline_split_at_distance/4 rhumb_bearing/3 rhumb_destination_point/4 rhumb_distance/3 rhumb_midpoint/3 route_distance/2 route_distance/3 route_distance/4 valid_coordinate/1 vincenty_distance/3 within_distance/4

## Public predicates

### `distance/4`

Computes the distance in kilometers between two coordinates using a selected metric. Supported metrics are `haversine`, `vincenty`, and `rhumb`.

Compilation flags:
`static`
Template:
`distance(Coordinate1,Coordinate2,Metric,Distance)`
Mode and number of proofs:
`distance(+compound,+compound,+atom,-float)` - `zero_or_one`

### `distance/5`

Computes the distance between two coordinates using a selected metric and output unit. Supported metrics are `haversine`, `vincenty`, and `rhumb`. Valid `Unit` argument values are `kilometers`, `meters`, `miles`, and `nautical_miles`.

Compilation flags:
`static`
Template:
`distance(Coordinate1,Coordinate2,Metric,Unit,Distance)`
Mode and number of proofs:
`distance(+compound,+compound,+atom,+atom,-float)` - `zero_or_one`

### `bbox_overlaps/2`

True when two bounding boxes have a strict positive-area overlap. Touching only at an edge or corner fails. Antimeridian-crossing bounding boxes are supported.

Compilation flags:
`static`
Template:
`bbox_overlaps(BoundingBox1,BoundingBox2)`
Mode and number of proofs:
`bbox_overlaps(+compound,+compound)` - `zero_or_one`

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)

See also

geospatial_protocol, numberlist