prolog

英文: Prolog: Calculate summation by recursive function 问题 我必须在Prolog中编写一个递归函数，给定两个整数X>0和N>=2，计算...

英文: Iterate through two lists at same index 问题 你可以通过以下方式迭代两个具有相同索引的列表，以获取每个列表的一对元素： ?- X = [1, 2, 3]...

英文: Binary to Integer in Prolog 问题 好的，以下是翻译好的部分： 现在我才开始学习Prolog的基础知识，被分配了一个附加问题，要根据以下二进制数的定义将二进制数字转换...

英文: Visual Prolog 5.2: a odd backtracking behavior 问题 predicates /*....*/ clauses contain([H|_], H) ...

英文: Is this the correct way to encode the structure of the Liar Paradox in Prolog? 问题 这是在Prolog中编码谬误...

英文: Trying to run a chess.pl engine in Sicstus prolog 问题 I'm trying to run a chess.pl engine in SICS...

英文: How can I implement a predicate which converts a propositional formula to a normal form? 问题 I am...

英文: The game of 23 matches in SWIPROLOG 问题 我尝试在SWIPROLOG中创建23匹配游戏（在此处编译：https://swish.swi-prolog.org...

英文: Unexpected behaviour of prolog program 问题 I will provide a translation of your code and the prob...

英文: Prolog Representation for Parallel Line Theorem Reasoning 问题 我使用Prolog来推理关于平行线定理的问题。 即，AB || EF ...