SWI-Prolog
网页SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. SWI-Prolog is widely used in research and education as well as commercial applications. Join over a million users who have downloaded SWI-Prolog. more ...
SWI-Prolog - GitHub
网页SWI-Prolog Main development repository. C 948 171. swish Public. SWI-Prolog for SHaring: a SWI-Prolog web IDE. Prolog 491 128. issues Public. Dummy repository for issue tracking. 7 3.
Prolog - Wikipedia
网页Prolog is a Turing-complete, general-purpose programming language, which is well-suited for intelligent knowledge-processing applications. Syntax and semantics. In Prolog, program logic is expressed in terms of relations, and a computation is initiated by running a query over these relations.
SWI-Prolog: A comprehensive Prolog implementation
网页SWI-Prolog is an open source (BSD-2) implementation of the Prolog language with many extensions. It is implemented in C (version 11) and Prolog and is available for many platforms (Linux, practically any POSIX like system, MacOS, Windows). All CPUs supported by Debian Linux are supported.
The GNU Prolog web site
网页GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone.
SWI-Prolog downloads
网页SWI-Prolog source for 9.2.7. Sources in .tar.gz format, including packages and generated documentation files. See build instructions.
SWI-Prolog -- Loading Prolog source files
网页A Prolog source file is a plain text file containing a Prolog program or part thereof. Prolog source files come in three flavours: A traditional. Prolog source file contains Prolog clauses and directives, but no module declaration (see module/1). They are normally loaded using consult/1 or ensure_loaded/1.
网页SWI-Prolog is a comprehensive and portable implementation of the Prolog programming language. SWI-Prolog aims to be a robust and scalable implementation supporting a wide
triska/the-power-of-prolog: Introduction to modern Prolog - GitHub
网页You need Scryer Prolog to run it. For example, to spawn the server on port 6012, use: $ scryer-prolog -g "server(6012)" server.pl. Then, direct your browser to: http://localhost:6012/prolog. If you are new to Prolog, read the chapters in order for a self-contained exposition of many important language features.
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.)
- 某些结果已被删除
跳至内容