Did you know ... Search Documentation:
Packs (add-ons) for SWI-Prolog

Package "cosmos"

Title:<no title>
Rating:Not rated. Create the first rating!
Latest version:0.22.0
SHA1 sum:45e6e947e039a2053fe266cfcf5237b164623c88

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
0.2.1dbfc04a3e2f897b006cafdfbea8b90f1304edad31https://github.com/mcsoto/cosmos-lang/files/8581425/cosmos-0.2.1.zip
0.13.3670a06301e2de9913cba48d8fa1d4687ee1687c61https://github.com/mcsoto/cosmos-lang/files/8174442/cosmos-0.13.3.zip
0.13.483d8a3de1c30211117d7b0d600a604f3cac988a01https://github.com/mcsoto/cosmos-lang/files/8190268/cosmos-0.13.4.zip
0.149cf552d819b1e09a3881ea3711f274c14b0f458e3https://github.com/mcsoto/cosmos-lang/files/8202914/cosmos-0.14.zip
0.14.172a91eaaab9ec57379d571da530caa879bfdb00c2https://github.com/mcsoto/cosmos-lang/files/8202972/cosmos-0.14.1.zip
0.15.1fa44df35c3d2084869080a57c189d2a0bdc32b1d1https://github.com/mcsoto/cosmos-lang/files/8310289/cosmos-0.15.1.zip
0.15.217c3a0e824e9235489018422e06719c2cb7c53c22https://github.com/mcsoto/cosmos-lang/files/8439438/cosmos-0.15.2.zip
0.20.00e51218c2c84b9c6b524f628f75d260564a9b7181https://github.com/mcsoto/cosmos-lang/files/8458117/cosmos-0.20.0.zip
0.20.175f1eeddcad9c72ba8e6e5a0ca4f866bc78150551https://github.com/mcsoto/cosmos-lang/files/8581464/cosmos-0.20.1.zip
0.21.07721a697245c1214775f2c42cddec6555997f5522https://github.com/mcsoto/cosmos-lang/files/8608344/cosmos-0.21.0.zip
0.22.045e6e947e039a2053fe266cfcf5237b164623c881https://github.com/mcsoto/cosmos-lang/files/9141028/cosmos-0.22.0.zip

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

Contents of pack "cosmos"

Pack contains 318 files holding a total of 2.7M bytes.