| 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
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.
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
Contents of pack "cosmos"
Pack contains 318 files holding a total of 2.7M bytes.
- .test0.qlf.3708(0 bytes)
- Makefile(899 bytes)
- assoc.out(24.6K bytes)
- assoc.pl(13.9K bytes)
- b.out(218 bytes)
- b.pl(735 bytes)
- bc.cosmos(36.0K bytes)
- bp
- class.pl(2.5K bytes)
- cli.pl(52 bytes)
- clp.out(215K bytes)
- clp.pl(127K bytes)
- common.co(258 bytes)
- comp.co(3.0K bytes)
- comp.pl(3.1K bytes)
- comp2.co(7.1K bytes)
- comp2.out(17.8K bytes)
- comp2.pl(9.5K bytes)
- comp2b.co(2.8K bytes)
- comp2main.co(2.8K bytes)
- comp2main.pl(2.5K bytes)
- comp3.co(7.2K bytes)
- compuler.co(47.8K bytes)
- core-(45 bytes)
- core.co(173 bytes)
- core.out(16.2K bytes)
- core.pl(7.9K bytes)
- core3.pl(0 bytes)
- core4.pl(170 bytes)
- cosmos.co(2.0K bytes)
- cosmos.cosmos(4.9K bytes)
- cosmos.out(7.2K bytes)
- cosmos.pl(2.8K bytes)
- cosmos.sh(61 bytes)
- cosmos2.co(4.7K bytes)
- cosmos_init.pl(815 bytes)
- debug - Copy.co(2.2K bytes)
- debug - c.co(2.5K bytes)
- debug.co(2.2K bytes)
- debug.pl(2.1K bytes)
- debug1.co(2.0K bytes)
- debug2.co(2.3K bytes)
- defaults.co(241 bytes)
- defaults.sh(86 bytes)
- dict.co(783 bytes)
- dict.pl(1.2K bytes)
- docs
- comp - Copy.md(2.4K bytes)
- comp.html(11.0K bytes)
- comp.md(8.6K bytes)
- download.html(1.6K bytes)
- download.md(1.0K bytes)
- faq.md(1.4K bytes)
- guide - Copy (2).md(30.0K bytes)
- guide - Copy - Copy.md(24.5K bytes)
- guide - Copy.md(24.5K bytes)
- guide.doc(110K bytes)
- guide.html(42.2K bytes)
- guide.md(43.7K bytes)
- guide2(39.4K bytes)
- guide2.txt(39.5K bytes)
- guide4.txt(2.8K bytes)
- index - Copy (2).md(2.1K bytes)
- index - Copy.html(2.9K bytes)
- index - Copy.md(2.4K bytes)
- index.html(2.1K bytes)
- index.md(2.2K bytes)
- quickstart.html(15.0K bytes)
- quickstart.md(8.4K bytes)
- quickstart2 - Copy.md(5.1K bytes)
- quickstart2.html(5.2K bytes)
- quickstart2.md(5.1K bytes)
- readme_docs(2.7K bytes)
- transp - Copy.md(5.3K bytes)
- transp.md(5.3K bytes)
- env.co(2.5K bytes)
- env.pl(5.4K bytes)
- env2.co(2.9K bytes)
- env2.pl(4.4K bytes)
- env3.co(6.6K bytes)
- env3.pl(9.0K bytes)
- env4.co(6.6K bytes)
- env4.pl(9.3K bytes)
- export.pl(47 bytes)
- export2.pl(50 bytes)
- export3.pl(291 bytes)
- fact.co(604 bytes)
- fact.pl(357 bytes)
- fact2.co(386 bytes)
- fact2.pl(192 bytes)
- false.co(48 bytes)
- false.pl(111 bytes)
- file.co(168 bytes)
- game.co(594 bytes)
- game.js(32 bytes)
- game.pl(785 bytes)
- gen.co(35.5K bytes)
- gen.cosmos(25.8K bytes)
- gen.pl(60.3K bytes)
- gen1(72 bytes)
- gen1.co(3.7K bytes)
- gen2(73 bytes)
- gen2.co(34.9K bytes)
- gen2.pl(49.5K bytes)
- gen3 - Copy (2).co(38.8K bytes)
- gen3 - Copy.co(36.1K bytes)
- gen3.co(38.2K bytes)
- gen3.pl(60.1K bytes)
- gen4.co(34.8K bytes)
- gen4.pl(49.2K bytes)
- gen5.co(9.9K bytes)
- hello.co(58 bytes)
- hello.pl(187 bytes)
- io - Copy.pl(1.4K bytes)
- io.co(1.7K bytes)
- io.cosmos(1.0K bytes)
- io.pl(1.8K bytes)
- lexer - simple c.co(4.0K bytes)
- lexer - test case.co(3.4K bytes)
- lexer.co(7.1K bytes)
- lexer.pl(13.1K bytes)
- lexer1.co(7.8K bytes)
- lexer2.co(7.2K bytes)
- lexer2.pl(12.9K bytes)
- lexer3.co(7.1K bytes)
- lexer3.pl(13.9K bytes)
- libs
- io.pl(1.8K bytes)
- list.co(4.6K bytes)
- list.pl(6.4K bytes)
- logic.co(2.7K bytes)
- logic.pl(4.3K bytes)
- mutable.co(296 bytes)
- mutable.pl(535 bytes)
- string.pl(0 bytes)
- table.co(777 bytes)
- license of semi-liberty(1.4K bytes)
- list-t.co(425 bytes)
- list.co(4.5K bytes)
- list.cosmos(2.0K bytes)
- list.pl(6.5K bytes)
- list2.co(4.5K bytes)
- list2.pl(6.3K bytes)
- list_.pl(6.4K bytes)
- log(16.8K bytes)
- logic.co(2.8K bytes)
- logic.cosmos(1.7K bytes)
- logic.pl(2.3K bytes)
- logic5.co(1.6K bytes)
- logicc.co(2.7K bytes)
- main (2).co(3.0K bytes)
- main.co(918 bytes)
- main.pl(806 bytes)
- make.bat(64 bytes)
- make.sh(64 bytes)
- math.co(742 bytes)
- math.cosmos(849 bytes)
- math.pl(1.9K bytes)
- mutable.co(456 bytes)
- mutable.pl(836 bytes)
- mv.co(41 bytes)
- mv.lua(165 bytes)
- nil.co(5 bytes)
- nil.pl(42 bytes)
- num.co(246 bytes)
- object.co(912 bytes)
- object.pl(1.8K bytes)
- pack.pl(33 bytes)
- parser.co(16.1K bytes)
- parser.cosmos(9.8K bytes)
- parser.pl(24.7K bytes)
- parser2.co(13.8K bytes)
- parser2.pl(22.1K bytes)
- parser3.co(16.1K bytes)
- parser3.pl(24.9K bytes)
- parser9.co(11.9K bytes)
- pl(93 bytes)
- pl.co(5.6K bytes)
- pl0(75 bytes)
- pl2(73 bytes)
- pl2.co(1.3K bytes)
- pl2.pl(1.2K bytes)
- pl3(147 bytes)
- pl3main(147 bytes)
- prev.co(746 bytes)
- prolog
- cosmos.pl(166 bytes)
- cosmos_init.pl(87 bytes, not a module)
- game.co(177 bytes)
- game.pl(271 bytes, not a module)
- readme_pack.txt(296 bytes)
- t.pl(490 bytes, not a module)
- temp.pl(21 bytes, not a module)
- z.lua(21 bytes)
- z.pl(17 bytes, not a module)
- pure_assoc.pl(14.3K bytes)
- readme.md(449 bytes)
- readme_dev.txt(988 bytes)
- reif (2).pl(4.4K bytes)
- reif.out(9.7K bytes)
- reif.pl(4.8K bytes)
- run.sh(151 bytes)
- script.co(203 bytes)
- script.lua(172 bytes)
- script.pl(422 bytes)
- serialize.co(11.5K bytes)
- serialize2.co(12.8K bytes)
- serialize9.co(12.8K bytes)
- set.co(530 bytes)
- simple.co(2.8K bytes)
- string.co(3.3K bytes)
- string.pl(3.3K bytes)
- string2.co(3.3K bytes)
- string2.pl(3.3K bytes)
- string5.co(1.1K bytes)
- study1.co(292 bytes)
- swi.pl(219 bytes)
- table.co(1.2K bytes)
- table.cosmos(236 bytes)
- table.pl(2.1K bytes)
- temp.pl(837 bytes)
- temp.sh(79 bytes)
- test - Copy (2)lexer.co(4.2K bytes)
- test.co(916 bytes)
- test.pl(1.4K bytes)
- test0.co(232 bytes)
- test0.pl(275 bytes)
- test1.co(95 bytes)
- test1.pl(115 bytes)
- test10.co(732 bytes)
- test11.co(283 bytes)
- test12.co(187 bytes)
- test12.pl(320 bytes)
- test13.co(369 bytes)
- test14.co(1.2K bytes)
- test14.pl(726 bytes)
- test15.co(134 bytes)
- test16.co(58 bytes)
- test17.co(130 bytes)
- test18.co(46 bytes)
- test19.co(33 bytes)
- test2.co(2.6K bytes)
- test2.pl(917 bytes)
- test20.co(193 bytes)
- test21.co(359 bytes)
- test23.co(5.9K bytes)
- test24.co(931 bytes)
- test24.pl(855 bytes)
- test25.co(1.7K bytes)
- test3.co(1.4K bytes)
- test4.co(1.2K bytes)
- test4.pl(305 bytes)
- test5.co(511 bytes)
- test6.co(1.8K bytes)
- test7.co(355 bytes)
- test8.co(348 bytes)
- test9.co(121 bytes)
- test9a.co(8.3K bytes)
- test9b.co(10.3K bytes)
- test9c.co(8.4K bytes)
- test_prev.co(866 bytes)
- tictactoe.co(117 bytes)
- tictactoe.pl(307 bytes)
- todo.txt(28 bytes)
- tree - Copy.co(1.6K bytes)
- tree.co(3.1K bytes)
- tree.pl(3.9K bytes)
- tuple.co(167 bytes)
- types - Copy.co(4.9K bytes)
- types.co(4.3K bytes)
- types.cosmos(4.1K bytes)
- types.pl(7.3K bytes)
- types2.co(4.4K bytes)
- types2.pl(7.5K bytes)
- types5.co(4.4K bytes)
- types6.co(4.4K bytes)
- types7.co(4.4K bytes)
- types8.co(4.4K bytes)
- types9.co(4.3K bytes)
- utils.co(387 bytes)
- whitespacer.co(3.3K bytes)
- ws.co(6.0K bytes)
- ws.pl(8.0K bytes)
- ws2.co(6.3K bytes)
- ws2.pl(8.9K bytes)
- x.co(10 bytes)
- x.out(202 bytes)
- x.pl(49 bytes)
- xpce.co(384 bytes)
- xpce.pl(183 bytes)
- y.co(26 bytes)
- y.lua(3 bytes)
- y.pl(62 bytes)
- z.pl(101 bytes)