Did you know ... | Search Documentation: |
![]() | Packs (add-ons) for SWI-Prolog |
Title: | <no title> |
---|---|
Rating: | Not rated. Create the first rating! |
Latest version: | 0.21.0 |
SHA1 sum: | 7721a697245c1214775f2c42cddec6555997f552 |
No reviews. Create the first review!.
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
Pack contains 275 files holding a total of 1.8M bytes.