Meta tags:
Headings (most frequently used words):
the, ciao, prolog, system,
Text of the page (most frequently used words):
and (11), the (8), #system (5), prolog (5), #ciao (5), app (4), #programming (3), for (3), #with (2), #miniplayground (2), #install (2), #documentation (2), #development (2), #source (2), bundles (2), static (2), code (2), features (2), lpdoc (2), logic (2), program (2), interface, standard, run, installation, packages, without, iso, operating, your, supporting, constraint, can, end, modern, order, playground, higher, browser, natively, extensions, functions, language, semantic, syntactic, user, concurrency, modules, assertions, particular, foreign, verification, dynamic, unified, etc, scale, meta, large, multiparadigm, generated, portable, incremental, separate, such, some, implements, modular, extensible, global, designed, kernel, simple, based, from, builds, that, implementation, using, compilation, analysis, advanced, right, query, type, then, fly, loaded, edit, begin, preprocessor, debugging, ciaopp, automation, build, generator, environment, integrated, debugger, transformation, via, optimization, project,
Text of the page (random words):
the ciao prolog system install documentation the project playground bundles the ciao prolog system ciao is a modern prolog implementation that builds up from a logic based simple kernel designed to be portable extensible and modular it features constraint logic programming and in particular prolog supporting the iso prolog standard multiparadigm programming meta programming higher order concurrency functions etc user packages for syntactic and semantic language extensions and interface with foreign code modules and bundles for large scale development and assertions for unified static and dynamic verification ciao can install natively in your operating system or run in the browser without installation begin miniplayground edit me code is loaded on the fly then type a query on the right app x y 1 2 3 app ys ys app x xs ys x zs app xs ys zs end miniplayground the system implements some advanced features such as separate and incremental compilation global program analysis and static debugging and optimization via source to source program transformation ciaopp preprocessor a build automation system lpdoc documentation generator debugger and integrated development environment generated with lpdoc using ciao
|