2009年11月10日 · What does \+ mean in Prolog? Asked 15 years, 10 months ago Modified 7 years, 4 months ago Viewed 61k times

2015年5月25日 · The = "operator" in Prolog is actually a predicate (with infix notation) =/2 that succeeds when the two terms are unified. Thus X = 2 or 2 = X amount to the same thing, a …

2021年1月25日 · There are some special operators in Prolog, one of them is is, however, recently I came across the =:= operator and have no idea how it works. Can someone explain what this …

2010年5月17日 · Is there a way to do an if in prolog, e.g. if a variable is 0, then to do some actions (write text to the terminal). An else isn't even needed, but I can't find any documentation of if.

Documentation for the second variant pointed out by Kaarel can be found in this Visual Prolog reference page. However the problem with your code goes a little deeper.

2013年5月4日 · Warning: /tmp/test.pl:7: Clauses of small/1 are not together in the source-file With the warning and a line error, one can find and correct the typo more quickly. ISO Prolog …

2012年7月14日 · Not equal and not unify in Prolog Asked 12 years, 11 months ago Modified 9 years, 7 months ago Viewed 45k times

Prolog: And-Or expressions (boolean function) Asked 11 years, 9 months ago Modified 11 years, 9 months ago Viewed 36k times

2011年12月16日 · In Prolog, the "not" is an example of "negation as failure", but it is felt that \+ will make it clearer to the programmer just what precisely is being asserted in any given rule. …

2012年11月22日 · 30 I'm working on some prolog that I'm new to. I'm looking for an "or" operator registered(X, Y), Y=ct101, Y=ct102, Y=ct103. Here's my query. What I want to write is code …