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 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.

1.2 代表语言：Prolog Prolog，即Programming in Logic，是逻辑编程的一种代表性语言。 它的核心是事实和规则。 让我们来看一下Prolog的基本语法： 事实：在Prolog中，我们可以定义一些基本的事实 …

本文介绍了Prolog编程语言的基础知识，包括Prolog的特点、运行机制、解释器的选择与使用方法。 并通过具体的例子展示了如何使用Prolog进行逻辑编程，涵盖事实、规则、列表操作等内容。

Jan 28, 2019 · Prolog 是一种与众不同的语言，不用来开发软件，专门解决逻辑问题。 比如，"苏格拉底是人，人都会死，所以苏格拉底会死"这一类的问题。 Prolog 就是"逻辑编程"（programming of …

1. 入门 1.1. 探索Prolog Prolog 在英语中的意思就是 Programming in LOGic （逻辑编程）。 它是建立在逻辑学的理论基础之上的，最初是运用于自然语言的研究领域。 然而现在它被广泛的应用在人工智 …

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 …

Sep 22, 2024 · 总结 Prolog 作为一种逻辑编程语言，以其简洁的语法和强大的推理能力著称，广泛应用于人工智能、自然语言处理、约束求解等领域。 通过定义事实、规则和查询，Prolog 让开发者可以轻 …

Write, Run & Share Prolog code online using OneCompiler’s Prolog online compiler for free. It’s a simple and intuitive platform to experiment with logic programming in Prolog. OneCompiler supports …

Jan 25, 2026 · Unlike many other programming languages, Prolog is intended primarily as a declarative programming language. In prolog, logic is expressed as relations (called as Facts and Rules).