Did you know ... Search Documentation:
Pack cosmos -- readme.md

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

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


Opens the interpreter.

ceval/1. cquery/1.

Evaluates query. e.g.

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


Compiles module e.g.

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


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

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