| Did you know ... | Search Documentation: |
 | Packs (add-ons) for SWI-Prolog |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
Package "cosmos"
| Title: | <no title> |
|---|---|
| Rating: | Not rated. Create the first rating! |
| Latest version: | 0.36 |
| SHA1 sum: | 5a0833911871ad6f7cab8beb79423d27777392f6 |
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.
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 330 files holding a total of 2.5M bytes.
- Makefile(899 bytes)
- array.co(288 bytes)
- array.pl(178 bytes)
- assoc.out(24.6K bytes)
- assoc.pl(14.2K bytes)
- bc.cosmos(36.0K bytes)
- changelog.txt(86 bytes)
- 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)
- comp3.pl(9.5K bytes)
- compuler.co(47.8K bytes)
- core-(45 bytes)
- core.co(173 bytes)
- core.out(16.2K bytes)
- core.pl(8.3K 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.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.html(2.9K 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(10.0K bytes)
- export.pl(47 bytes)
- export2.pl(50 bytes)
- export3.pl(291 bytes)
- fact.co(414 bytes)
- fact.pl(276 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(42.8K bytes)
- gen.cosmos(25.8K bytes)
- gen.pl(71.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(43.7K bytes)
- gen3 - Copy (2)prev.co(40.0K bytes)
- gen3 - Copy (3).co(40.7K bytes)
- gen3 - Copy (4).co(44.1K bytes)
- gen3 - Copy (5).co(44.8K bytes)
- gen3 - Copy (6).co(46.5K bytes)
- gen3 - Copy (7).co(46.7K bytes)
- gen3 - Copy (8).co(45.9K bytes)
- gen3 - Copy.co(41.2K bytes)
- gen3.co(45.8K bytes)
- gen3.pl(72.2K bytes)
- gen4.co(34.8K bytes)
- gen4.pl(49.2K bytes)
- gen5.co(9.9K bytes)
- gen5.pl(15.8K bytes)
- goto.co(1.2K bytes)
- goto.pl(1.8K bytes)
- hello.co(58 bytes)
- hello.pl(187 bytes)
- index.co(159 bytes)
- io - Copy.pl(1.4K bytes)
- io.co(1.7K bytes)
- io.cosmos(1.0K bytes)
- io.pl(2.6K 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(13.6K 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.4K bytes)
- list.cosmos(2.0K bytes)
- list.pl(6.5K bytes)
- list2.co(4.5K bytes)
- list2.pl(7.4K bytes)
- list3.co(4.4K bytes)
- list3.pl(6.7K bytes)
- list_.pl(6.4K bytes)
- list_bp.pl(6.6K bytes)
- log(16.8K bytes)
- logic.co(2.8K bytes)
- logic.cosmos(1.7K bytes)
- logic.pl(3.2K 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)
- main1.co(236 bytes)
- main1.pl(722 bytes)
- make.bat(64 bytes)
- make.sh(64 bytes)
- math.co(831 bytes)
- math.cosmos(849 bytes)
- math.pl(2.3K bytes)
- mutable.co(456 bytes)
- mutable.pl(987 bytes)
- mv.co(41 bytes)
- mv.lua(165 bytes)
- new 1(7.7K bytes)
- nil.co(5 bytes)
- nil.pl(42 bytes)
- num.co(246 bytes)
- object.co(912 bytes)
- object.pl(1.8K bytes)
- out(2.9K bytes)
- pack.pl(31 bytes)
- parser.co(16.9K bytes)
- parser.cosmos(9.8K bytes)
- parser.pl(27.3K bytes)
- parser2.co(17.0K bytes)
- parser2.pl(27.6K 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
- 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 - Copy.co(711 bytes)
- script.co(1.1K bytes)
- script.pl(285 bytes)
- script.sh(66 bytes)
- serialize.co(11.5K bytes)
- serialize2.co(12.8K bytes)
- serialize9.co(12.8K bytes)
- set.co(555 bytes)
- set.pl(685 bytes)
- simple.co(2.8K bytes)
- string.co(3.3K bytes)
- string.pl(3.8K 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(2.0K bytes)
- table.cosmos(236 bytes)
- table.pl(4.6K bytes)
- temp.pl(407 bytes)
- temp.sh(79 bytes)
- test.co(156 bytes)
- test.pl(355 bytes)
- test0.co(232 bytes)
- test1.co(95 bytes)
- test1.pl(127 bytes)
- test16.co(678 bytes)
- test16.pl(1.3K bytes)
- test17.co(56 bytes)
- test17.pl(277 bytes)
- test18.co(69 bytes)
- test18.pl(296 bytes)
- test19.co(576 bytes)
- test19.pl(719 bytes)
- test2.co(2.5K bytes)
- test2.pl(919 bytes)
- test20.co(193 bytes)
- test21.co(359 bytes)
- test22.co(2.1K bytes)
- test22.pl(2.6K bytes)
- test23.co(5.9K bytes)
- test24.co(955 bytes)
- test24.pl(855 bytes)
- test25.co(1.7K bytes)
- test27.co(14 bytes)
- test27.pl(58 bytes)
- test28.co(168 bytes)
- test28.pl(162 bytes)
- test29.co(77 bytes)
- test29.pl(76 bytes)
- test3.co(1.4K bytes)
- test30.co(851 bytes)
- test30.pl(1.4K bytes)
- test31.co(37 bytes)
- test31.pl(242 bytes)
- test32.co(55 bytes)
- test32.pl(261 bytes)
- test4.co(1.2K bytes)
- tests
- test - Copy (2)lexer.co(4.2K 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)
- 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)
- time1.co(139 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(6.6K bytes)
- types2.co(6.2K bytes)
- types2.pl(11.5K bytes)
- types3.co(4.5K bytes)
- types3.pl(7.7K 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)
- ui.co(150 bytes)
- ui.pl(322 bytes)
- utils.co(387 bytes)
- ws.co(6.0K bytes)
- ws.pl(8.0K bytes)
- ws0.co(4.8K bytes)
- ws2.co(6.3K bytes)
- ws2.pl(8.9K bytes)
- ws3.co(6.4K bytes)
- ws3.pl(8.0K bytes)
- x.co(10 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)