Cosmos is a logic programming language that can be embedded in Prolog.

The following predicates are available in the Swi-Prolog pack.

cstart/0.

Opens the interpreter.

ceval/1. cquery/1.

Evaluates query. e.g.

:- ceval('x=1 or y=3').

cmod/1.

Compiles module e.g.

`:- cmod('name') ; name.co is a module file`

crun/1.

Runs a module pre-compiled, e.g by cmod/1.

`:- crun('name') ; runs name.pl