安裝中文字典英文字典辭典工具!
安裝中文字典英文字典辭典工具!
|
- 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
- Prolog - Wikipedia
Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics [1][2][3] Prolog has its roots in first-order logic, a formal logic
- 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
- Prolog - Introduction - Online Tutorials Library
Prolog or PRO gramming in LOG ics is a logical and declarative programming language It is one major example of the fourth generation language that supports the declarative programming paradigm This is particularly suitable for programs that involve symbolic or non-numeric computation
- The Online Prolog Community
The Online Prolog Community, sponsored by the Association for Logic Programming, hosts several initiatives around the Prolog language, mostly stemming from the Year of Prolog activities
- SWI-Prolog downloads
Native GUI tools for Linux (Wayland or X11), MacOS (Cocoa) and Windows (Win32) based on SDL3, Cairo and Pango This provides a future-proof uniform system accross all platforms with better text rendering, better support for multiple displays and hi-res displays and much more
- Getting Started - SWI-Prolog
I've made my first steps at Prolog and want to start a real project Start with a local installation for your platform Familiarise yourself with the SWI-Prolog toplevel and the IDE tools such as the GUI debugger Establish your debug edit reload cycle based on edit 1 and make 0
- SWI-Prolog downloads
Using the GIT repository is recommended if you want to stay up to date and expecially if you plan to develop C C++ resources for SWI-Prolog See the build instructions New releases are announced on Discourse
|
|
|